hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation
Department of Computer Science, Rice University, Houston, TX, United States.
GIPSA-lab, Grenoble INP, University of Grenoble Alpes, Grenoble, France.
Department of Computer Science, Rice University, Houston, TX, United States.
Department of Computer Science, Rice University, Houston, TX, United States.
Show 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-01819Available from: 2020-12-07 Created: 2020-12-07 Last updated: 2023-10-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Philippsen, RolandDuracz, JanXu, Fei

Search in DiVA

By author/editor
Philippsen, RolandDuracz, JanXu, Fei
By organisation
CAISR - Center for Applied Intelligent Systems ResearchCentre for Research on Embedded Systems (CERES)
Embedded SystemsComputer SystemsComputer Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 136 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf