Systematic Derivation of Functional Safety Requirements for Automotive Systems

The released ISO 26262 standard for automotive systems requires breaking down safety goals from the hazard analysis and risk assessment into functional safety requirements in the functional safety concept. It has to be justified that the defined functional safety requirements are suitable to achieve the stated safety goals. In this paper, we present a systematic, structured and model-based method to define functional safety requirements using a given set of safety goals. The rationale for safety goal achievement, the relevant attributes of the functional safety requirements, and their relationships are represented by a UML notation extended with stereotypes. The UML model enables a rigorous validation of several constraints expressed in OCL. We illustrate our method using an example electronic steering column lock system.

[1]  David Clark,et al.  Safety and Security Analysis of Object-Oriented Models , 2002, SAFECOMP.

[2]  S. Smith,et al.  Functional Safety Of Programmable Electronic Systems , 1990 .

[3]  Torsten Dittel,et al.  How to "Survive" a Safety Case According to ISO 26262 , 2010, SAFECOMP.

[4]  Road vehicles — Functional safety — Part 10 : Guideline , 2009 .

[5]  Kristian Beckers,et al.  A structured and model-based hazard analysis and risk assessment method for automotive systems , 2013, 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE).

[6]  Tim Kelly.  A Systematic Approach to Safety Case Management , 2004 .

[7]  Jana Maria Heinsohn,et al.  Einführung in die ISO 26262 "Functional Safety - Road Vehicles" , 2011 .

[8]  Purnendu Sinha.  Architectural design and reliability analysis of a fail-operational brake-by-wire system from ISO 26262 perspectives , 2011, Reliab. Eng. Syst. Saf..

[9]  John Spriggs,et al.  GSN - The Goal Structuring Notation , 2012 .

[10]  David D. Ward,et al.  ISO 26262 safety cases: Compliance and assurance , 2011 .

[11]  Joachim Hillebrand,et al.  Establishing Confidence in the Usage of Software Tools in Context of ISO 26262 , 2011, SAFECOMP.

[12]  Mirko Conrad,et al.  Software Tool Qualification According to ISO 26262 , 2011 .

[13]  Marc Born,et al.  Application of ISO DIS 26262 in practice , 2010, EDCC-CARS.

[14]  Klaus D. Müller-Glaser,et al.  Failure mode and effect analysis based on electric and electronic architectures of vehicles to support the safety lifecycle ISO/DIS 26262 , 2010, Proceedings of 2010 21st IEEE International Symposium on Rapid System Protyping.

[15]  Mirko Conrad,et al.  Qualifying Software Tools According to ISO 26262 , 2010, MBEES.

[16]  Tim Kelly,et al.  Model-Based Assurance for Justifying Automotive Functional Safety , 2010 .

[17]  Nurlida Basir,et al.  Deriving Safety Cases for Hierarchical Structure in Model-Based Development , 2010, SAFECOMP.