The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.

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

På svenska

Author

Editor

  • Dongwan Shin

Summary, in English

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.

Publishing year

2013

Language

English

Pages

1137-1144

Publication/Series

Proceedings of the ACM Symposium on Applied Computing/SAC '13

Document type

Conference paper

Publisher

Association for Computing Machinery (ACM)

Topic

  • Computer Science

Keywords

  • Frameworks and Tools
  • Verification
  • Safety-Critical Development
  • Real-Time Systems
  • Service-Oriented Computing

Conference name

Symposium on Applied Computing 2013

Conference date

2013-03-18

Conference place

Coimbra, Portugal

Status

Published

Project

  • ENGROSS

ISBN/ISSN/Other

  • ISBN: 978-1-4503-1656-9