Sökning: onr:"swepub:oai:DiVA.org:hh-43656" >
Advanced Hazard Ana...
Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation
-
- Duracz, A. (författare)
- Department of Computer Science, Rice University, Houston, TX, United States,Department of Computer Science, Rice University, Houston, USA
-
- Aljarbouh, A. (författare)
- GIPSA-lab, Grenoble INP, University of Grenoble Alpes, Grenoble, France,Department of Computer Science, Rice University, Houston, USA
-
- Bartha, F. A. (författare)
- Department of Computer Science, Rice University, Houston, TX, United States
-
visa fler...
-
- Masood, J. (författare)
- Department of Computer Science, Rice University, Houston, TX, United States,Department of Computer Science, Rice University, Houston, USA
-
- Philippsen, Roland, 1976- (författare)
- Högskolan i Halmstad,CAISR Centrum för tillämpade intelligenta system (IS-lab)
-
- Eriksson, H. (författare)
- Dependable Systems, SP Technical Research Institute of Sweden, Boras, Sweden
-
- Duracz, Jan, 1977- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
- Xu, Fei, 1990- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
- Zeng, Y. (författare)
- Department of Computer Science, Rice University, Houston, TX, United States,Department of Computer Science, Rice University, Houston, USA
-
- Grante, C. (författare)
- AB Volvo Group Trucks Technology, Gothenburg, Sweden
-
visa färre...
-
(creator_code:org_t)
- 2020-02-18
- 2020
- Engelska.
-
Ingår i: Cyber Physical Systems. Model-Based Design. - Berlin : Springer. - 9783030411305 ; 11971, s. 108-126
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datorteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Engineering (hsv//eng)
Nyckelord
- 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
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
Duracz, A.
-
Aljarbouh, A.
-
Bartha, F. A.
-
Masood, J.
-
Philippsen, Rola ...
-
Eriksson, H.
-
visa fler...
-
Duracz, Jan, 197 ...
-
Xu, Fei, 1990-
-
Zeng, Y.
-
Grante, C.
-
visa färre...
- Om ämnet
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Elektroteknik oc ...
-
och Inbäddad systemt ...
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Elektroteknik oc ...
-
och Datorsystem
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
-
och Datorteknik
- Artiklar i publikationen
-
Cyber Physical S ...
-
Lecture Notes in ...
- Av lärosätet
-
Högskolan i Halmstad