Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous SimulationShow others and affiliations
2020 (English)In: Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / [ed] Roger Chamberlain, Martin Edin Grimheden, Walid Taha, Berlin: Springer , 2020, Vol. 11971 LNCS, p. 108-126Conference paper, Published paper (Refereed)
Abstract [en]
With the increasing level of automation in road vehicles, the traditional workhorse of safety assessment, namely, physical testing, is no longer adequate as the sole means of ensuring safety. A standard safety assessment benchmark is to evaluate the behavior of a new design in the context of a risk-exposing test scenario. Manual or computerized analysis of the behavior of such systems is challenging because of the presence of non-linear physical dynamics, computational components, and impacts. In this paper, we study the utility of a new technology called rigorous simulation for addressing this problem. Rigorous simulation aims to combine some of the benefits of traditional simulation methods with those of traditional analytical methods such as symbolic algebra. We develop and analyze in detail a case study involving an Intersection Collision Avoidance (ICA) test scenario using the hazard analysis techniques prescribed in the ISO 26262 functional safety standard. We show that it is possible to formally model and rigorously simulate the test scenario to produce informative results about the severity of collisions. The work presented in this paper demonstrates that rigorous simulation can handle models of non-trivial complexity. The work also highlights the practical challenges encountered in using it. © 2020, Springer Nature Switzerland AG.
Place, publisher, year, edition, pages
Berlin: Springer , 2020. Vol. 11971 LNCS, p. 108-126
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 11971
Keywords [en]
Cyber Physical System, Embedded systems, Hazards, ISO Standards, Model checking, Problem oriented languages, Risk analysis, Risk assessment, Risk perception, Road vehicles, Domain specific languages, Hazard analysis, Interval arithmetic, Model based testing, Model verification, Rigorous simulation, Validated numerics, Safety testing
National Category
Embedded Systems Computer Systems Computer Engineering
Identifiers
URN: urn:nbn:se:hh:diva-43656DOI: 10.1007/978-3-030-41131-2_6ISI: 000702116700006Scopus ID: 2-s2.0-85081171278ISBN: 9783030411305 (print)OAI: oai:DiVA.org:hh-43656DiVA, id: diva2:1507132
Conference
9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, New York City, United States, 17-18 October 2019
Funder
Vinnova, 2011-018192020-12-072020-12-072023-10-05Bibliographically approved