Safety lifecycle development process modeling for embedded systems - example of railway domain

  • Authors:
  • Brahim Hamid;Jacob Geisel;Adel Ziani;David Gonzalez

  • Affiliations:
  • IRIT, University of Toulouse, Toulouse Cedex 9, France;IRIT, University of Toulouse, Toulouse Cedex 9, France;IRIT, University of Toulouse, Toulouse Cedex 9, France;Ikerlan, Mandragon, Spain

  • Venue:
  • SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Nowadays, many practitioners express their worries about current software engineering practices. New recommendations should be considered to ground software engineering on solid theory and on proven principles. We took such an approach towards software engineering process modeling for embedded system applications with security and dependability requirements, focusing on the problem of integrating safety during the process design to clarify assessment of this kind of applications. In this paper, we propose a safety-oriented process metamodel to support all the requirements of safety processes. The resulting modeling framework serves primarily to capture the basic concepts of concerns related to safety development of embedded systems based on the clear separation between the development process, the system and their properties. Subsequently, the safety property model of the process is defined. The feasibility of the approach is evaluated with a case study from the railway domain.