Abstract
For systems where functions are distributed but share support for computation, communication, environment sensing and actuation, it is essential to understand how such functions can affect each other. Preliminary Hazard Analysis (PHA) is the task through which safety requirements are established. This is usually a document-based process where each system function is analyzed alone, making it difficult to reason about the commonalities of related functional concepts and the distribution of safety mechanisms across a system-of-systems. This paper presents a model-based approach to PHA with the EAST-ADL2 language and in accordance with the ISO/DIS 26262 standard. The language explicitly supports the definition and handling of requirements, functions and technical solutions, and their various relations and constraints as a coherent whole with multiple views. We show in particular the engineering needs for a systematic approach to PHA and the related language features for precise modeling of requirements, user functionalities, system operation contexts, and the derived safety mechanisms.
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
International Organization for Standardization: ISO/DIS 26262 (2009)
Chen, D., Johansson, R., Lönn, H., Blom, H., Walker, M., Papadopoulos, Y., Torchiaro, S., Tagliabò, F., Sandberg, A., Biehl, M.: Integated Fault Modeling for Safety-Critical Automotive Embedded Systems. Submitted to ISARCS (2010)
SAE ARP-4761: Aerospace recommended practice: guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment, 12th edn., SAE, 400 Commonwealth Drive Warrendale PA United States (1996)
Kletz, T.: HAZOP and HAZAN Identifying and assessing process industry standards, 3rd edn. Hemisphere, Washington (1992) ISBN: 1-56032-276-4
Palady, P.: Failure Modes and Effects Analysis. PT Publications, West Palm Beach (1995) ISBN: 0-94545-617-4
Vesely, W.E.: Fault Tree Handbook, US Nuclear Regulatory Committee Report NUREG-0492, US NRC, Washington, DC (1981)
Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)
Törngren, M., Chen, D., Malvius, D., Axelsson, J.: Model-based Development of Automotive Embedded Systems. In: Navet, N., Simonot-Lion, F. (eds.) Automotive Embedded Systems Handbook. Series: Industrial Information Technology. Taylor and Francis CRC Press (2008)
ATESST2 (Advancing Traffic Efficiency and Safety through Software Technology), EU FP7 Project, http://www.atesst.org
AUTOSAR Development Partnership, http://www.autosar.org
Kehren, C., et al.: Advanced Multi-System Simulation Capabilities with AltaRica. In: 22nd Int. System Safety Conf., System Safety Society (2004)
Bieber, P., et al.: Safety Assessment with Altarica - Lessons Learnt Based on Two Aircraft System Studies. In: 18th IFIP World Computer Congress, Topical Day on New Methods for Avionics Certification, Toulouse France, August 26-26. IFIP (2004)
Papadopoulos, Y., Grante, C.: Evolving car designs using model-based automated safety analysis and optimisation techniques. Journal of Systems and Software 76(1), 77–89 (2005)
Parnas, D., Madey, J.: Functional document for computer systems. Science of Computer Programming 25, 41–61 (1995)
Tagliabò, F., Torchiaro, S., Johansson, R., Lönn, H., Walker, M., Papadopoulos, Y., Sandberg, A., Chen, D.: Dedicated Modeling Support for the Automotive Functional Safety Standard. Submitted to SAFECOMP 2010 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sandberg, A. et al. (2010). Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. In: Schoitsch, E. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2010. Lecture Notes in Computer Science, vol 6351. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15651-9_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-15651-9_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15650-2
Online ISBN: 978-3-642-15651-9
eBook Packages: Computer ScienceComputer Science (R0)