Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment
2015 (English)In: 2015 IEEE 12th International Conference on Embedded Software and Systems (ICESS) / [ed] Meikang Qiu, Yongxin Zhu, Daikai Zhu & Fengling Han, Piscataway, N.J.: IEEE Press, 2015, 1093-1096 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
Piscataway, N.J.: IEEE Press, 2015. 1093-1096 p.
hybrid systems, verification, iso 26262
IdentifiersURN: urn:nbn:se:hh:diva-29050DOI: 10.1109/HPCC-CSS-ICESS.2015.296OAI: oai:DiVA.org:hh-29050DiVA: diva2:843623
The 12th IEEE International Conference on Embedded Software and Systems (ICESS 2015), August 24-26, New York, USA
FunderKnowledge FoundationVINNOVA, 2011-01819
This work was supported by US National Science Foundation award CPS-1136099, the Swedish Knowledge Foundation (KK), The Center for Research on Embedded Systems (CERES), and VINNOVA (Dnr. 2011-01819).2015-07-292015-07-212015-12-10Bibliographically approved