Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

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

Holmén Notander, Jesper LU ; Runeson, Per LU orcid and Höst, Martin LU (2013) Symposium on Applied Computing 2013 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
; and
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
host publication
Proceedings of the ACM Symposium on Applied Computing/SAC '13
editor
Shin, Dongwan
pages
8 pages
publisher
Association for Computing Machinery (ACM)
conference name
Symposium on Applied Computing 2013
conference location
Coimbra, Portugal
conference dates
2013-03-18
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
2016-04-04 11:00:41
date last changed
2022-03-31 17:48:36
@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}},
  keywords     = {{Frameworks and Tools; Verification; Safety-Critical Development; Real-Time Systems; Service-Oriented Computing}},
  language     = {{eng}},
  pages        = {{1137--1144}},
  publisher    = {{Association for Computing Machinery (ACM)}},
  title        = {{A Model-Based Framework for Flexible Safety-Critical Software Development - A Design Study}},
  url          = {{http://dx.doi.org/10.1145/2480486.2480575}},
  doi          = {{10.1145/2480486.2480575}},
  year         = {{2013}},
}