DocumentCode
3697119
Title
Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment
Author
Adam Duracz;Henrik Eriksson;Ferenc A. Bartha;Fei Xu;Yingfu Zeng;Walid Taha
Author_Institution
Sch. of Inf. Technol., Halmstad Univ., Halmstad, Sweden
fYear
2015
Firstpage
1093
Lastpage
1096
Abstract
Rigorous simulation is a new technology that can play a key role in managing uncertainty in the design of safety-critical cyber-physical systems. One of its important applications is the analysis and evaluation of functional safety for road vehicles according to international standards such as ISO 26262. Previous work presented preliminary evidence to support the feasibility of using rigorous simulation for this purpose. Here we report on advances in our implementation of rigorous simulation and show how they enable the rigorous simulation of more refined and more complete models. A larger case study highlights the benefits of these advances and helps us identify new challenges that should be addressed by future work.
Keywords
"Vehicles","Computational modeling","Hazards","ISO Standards","Automata"
Publisher
ieee
Conference_Titel
High Performance Computing and Communications (HPCC), 2015 IEEE 7th International Symposium on Cyberspace Safety and Security (CSS), 2015 IEEE 12th International Conferen on Embedded Software and Systems (ICESS), 2015 IEEE 17th International Conference on
Type
conf
DOI
10.1109/HPCC-CSS-ICESS.2015.296
Filename
7336314
Link To Document