Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Int. Organization for Standardization (ISO): Road Vehicles – Functional Safety. ISO 26262 (2011)
Beckers, K., Frese, T., Hatebur, D., Heisel, M.: A Structured and Model-Based Hazard Analysis and Risk Assessment Method for Automotive Systems. In: Procs of the 24th IEEE Int. Symposium on Software Reliability Engineering, pp. 238–247. IEEE Computer Society (2013)
UML Revision Task Force: OMG Unified Modeling Language: Superstructure. Object Management Group (OMG) (May 2010)
UML Revision Task Force: OMG Object Constraint Language: Reference (February 2010)
Kelly, T.P.: A Systematic Approach to Safety Case Management. In: Procs. 28th Symp. on Applied Computing, Detroit, Society for Automotive Engineers (2004)
Spriggs, J.: GSN - The Goal Structuring Notation: A Structured Approach to Presenting Arguments, 2012th edn. Springer (2012)
Goal Structuring Notation Working Group. GSN community standard version 1 (2011)
International Organization for Standardization (ISO) and International Electrotechnical Commission (IEC): Functional safety of electrical/electronic/programmable electronic safety-relevant systems. ISO/IEC 61508 (2000)
Basir, N., Denney, E., Fischer, B.: Deriving safety cases for hierarchical structure in model-based development. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 68–81. Springer, Heidelberg (2010)
Atos Origin: Papyrus UML Modelling Tool (February 2011), http://www.papyrusuml.org/
Eclipse Foundation: Eclipse - An Open Development Platform (2011), http://www.eclipse.org/
Eclipse Foundation: Eclipse Modeling Framework Project (EMF) (June 2012), http://www.eclipse.org/modeling/emf/
Dittel, T., Aryus, H.-J.: How to ‘survive’ a safety case according to ISO 26262. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 97–111. Springer, Heidelberg (2010)
Sinha, P.: Architectural design and reliability analysis of a fail-operational brake-by-wire system from ISO 26262 perspectives. Reliability Engineering & System Safety, 1349–1359 (2011)
Palin, R., Ward, D., Habli, I., Rivett, R.: ISO 26262 safety cases: Compliance and assurance. In: 2011 6th IET Int. Conf. on. System Safety, pp. 1–6 (2011)
Conrad, M., Munier, P., Rauch, F.: Qualifying software tools according to ISO 26262. In: Proc. Dagstuhl-Workshop Modellbasierte Entwicklung Eingebetteter Systeme, MBEES 2010 (2010)
Hillebrand, J., Reichenpfader, P., Mandic, I., Siegl, H., Peer, C.: Establishing Confidence in the Usage of Software Tools in Context of ISO 26262. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 257–269. Springer, Heidelberg (2011)
Hillenbrand, M., Heinz, M., Adler, N., Matheis, J., Müller-Glaser, K.: Failure mode and effect analysis based on electric and electronic architectures of vehicles to support the safety lifecycle ISO/DIS 26262. In: 2010 21st IEEE International Symposium on apid System Prototyping, RSP, pp. 1–7 (June 2010)
Habli, I., Ibarra, I., Rivett, R., Kelly, T.: Model-Based Assurance for Justifying Automotive Functional Safety. In: SAE Technical Paper 2010-01-0209 (2010)
Born, M., Favaro, J., Kath, O.: Application of ISO DIS 26262 in Practice. In: Procs of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010, pp. 3–6. ACM, New York (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Beckers, K., Côté, I., Frese, T., Hatebur, D., Heisel, M. (2014). Systematic Derivation of Functional Safety Requirements for Automotive Systems. In: Bondavalli, A., Di Giandomenico, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science, vol 8666. Springer, Cham. https://doi.org/10.1007/978-3-319-10506-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-10506-2_5
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10505-5
Online ISBN: 978-3-319-10506-2
eBook Packages: Computer ScienceComputer Science (R0)