Advanced

A Model-Based Framework for Flexible Safety-Critical Software Development - A Design Study

Holmén Notander, Jesper LU ; Runeson, Per LU and Höst, Martin LU (2013) Symposium on Applied Computing 2013 In Proceedings of the ACM Symposium on Applied Computing/SAC '13 p.1137-1144
Abstract
This paper presents the findings from a design study of a model-based framework for safety-critical software development, called SimPal. The objective of the study was to better understand the necessary properties of such a framework and to learn more about the challenges of realizing it. Our research approach can be labeled as design research, which means that we try to answer our research questions by developing an artifact, in our case SimPal, and analyzing our experiences from the design of the artifact. In the paper we present what we identify as the necessary quality characteristics, using the ISO25010 quality in use quality model, of a framework like SimPal. These characteristics are then used to evaluate the SimPal framework in... (More)
This paper presents the findings from a design study of a model-based framework for safety-critical software development, called SimPal. The objective of the study was to better understand the necessary properties of such a framework and to learn more about the challenges of realizing it. Our research approach can be labeled as design research, which means that we try to answer our research questions by developing an artifact, in our case SimPal, and analyzing our experiences from the design of the artifact. In the paper we present what we identify as the necessary quality characteristics, using the ISO25010 quality in use quality model, of a framework like SimPal. These characteristics are then used to evaluate the SimPal framework in combination with a simple design case where we design a soft safety controller. We show that our approach has potential considering safety-critical software development. Although, there are some concerns about its run-time performance, from our results we conclude that the ideas behind the SimPal framework are sound but more work is required to investigate how they can be realized. In the future more effort should be spent on increasing performance and adding more features to the framework. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
Frameworks and Tools, Verification, Safety-Critical Development, Real-Time Systems, Service-Oriented Computing
in
Proceedings of the ACM Symposium on Applied Computing/SAC '13
editor
Shin, Dongwan
pages
8 pages
publisher
ACM
conference name
Symposium on Applied Computing 2013
external identifiers
  • Scopus:84877971584
ISBN
978-1-4503-1656-9
DOI
10.1145/2480486.2480575
project
ENGROSS
language
English
LU publication?
yes
id
89524d8a-94a5-4340-b7f5-8c2835b743bd (old id 3806480)
date added to LUP
2013-09-19 10:55:14
date last changed
2017-01-01 08:00:59
@inproceedings{89524d8a-94a5-4340-b7f5-8c2835b743bd,
  abstract     = {This paper presents the findings from a design study of a model-based framework for safety-critical software development, called SimPal. The objective of the study was to better understand the necessary properties of such a framework and to learn more about the challenges of realizing it. Our research approach can be labeled as design research, which means that we try to answer our research questions by developing an artifact, in our case SimPal, and analyzing our experiences from the design of the artifact. In the paper we present what we identify as the necessary quality characteristics, using the ISO25010 quality in use quality model, of a framework like SimPal. These characteristics are then used to evaluate the SimPal framework in combination with a simple design case where we design a soft safety controller. We show that our approach has potential considering safety-critical software development. Although, there are some concerns about its run-time performance, from our results we conclude that the ideas behind the SimPal framework are sound but more work is required to investigate how they can be realized. In the future more effort should be spent on increasing performance and adding more features to the framework.},
  author       = {Holmén Notander, Jesper and Runeson, Per and Höst, Martin},
  booktitle    = {Proceedings of the ACM Symposium on Applied Computing/SAC '13},
  editor       = {Shin, Dongwan},
  isbn         = {978-1-4503-1656-9},
  keyword      = {Frameworks and Tools,Verification,Safety-Critical Development,Real-Time Systems,Service-Oriented Computing},
  language     = {eng},
  pages        = {1137--1144},
  publisher    = {ACM},
  title        = {A Model-Based Framework for Flexible Safety-Critical Software Development - A Design Study},
  url          = {http://dx.doi.org/10.1145/2480486.2480575},
  year         = {2013},
}