Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain

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.

[1]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[2]  Aniruddha S. Gokhale,et al.  Domain-Specific Modeling , 2008, Handbook of Dynamic System Modeling.

[3]  Hermann Kopetz,et al.  The Complexity Challenge in Embedded System Design , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[4]  Brian Henderson-Sellers,et al.  A method to build information systems engineering process metamodels , 2009, J. Syst. Softw..

[5]  Thomas A Henzinger,et al.  Two challenges in embedded systems design: predictability and robustness , 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[6]  Brahim Hamid,et al.  Enforcing S&D pattern design in RCES with modeling and formal approaches , 2011, MODELS'11.

[7]  Ray Dawson,et al.  Managing process compliance , 2003 .

[8]  Kenneth Gl Simpson,et al.  Functional Safety: A Straightforward Guide to Applying IEC 61508 and Related Standards , 2004 .

[9]  Brahim Hamid,et al.  Model-based security and dependability patterns in RCES: the TERESA approach , 2010, S&D4RCES '10.

[10]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[11]  Colette Rolland,et al.  A Comprehensive View of Process Engineering , 1998, CAiSE.

[12]  Brahim Hamid,et al.  Towards a Unified Meta-model for Resources-Constrained Embedded Systems , 2011, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.

[13]  Simon Brown,et al.  Overview of IEC 61508. Design of electrical/electronic/programmable electronic safety-related systems , 2000 .

[14]  Brian Henderson-Sellers,et al.  A comparison of four process metamodels and the creation of a new generic standard , 2005, Inf. Softw. Technol..