Change search
ReferencesLink to record
Permanent link

Direct link
Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (Effective Modeling Group)ORCID iD: 0000-0003-4175-4020
SP Technical Research Institute of Sweden, Borås, Sweden.
Rice University, Houston TX, USA.
Rice University, Houston TX, USA. (Effective Modeling Group)
Show others and affiliations
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)
Abstract [en]

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.
Keyword [en]
hybrid systems, verification, iso 26262
National Category
Computer Science
URN: urn:nbn:se:hh:diva-29050DOI: 10.1109/HPCC-CSS-ICESS.2015.296OAI: diva2:843623
The 12th IEEE International Conference on Embedded Software and Systems (ICESS 2015), August 24-26, New York, USA
Knowledge 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).

Available from: 2015-07-29 Created: 2015-07-21 Last updated: 2015-12-10Bibliographically approved

Open Access in DiVA

fulltext(1607 kB)85 downloads
File information
File name FULLTEXT01.pdfFile size 1607 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Duracz, AdamXu, FeiTaha, Walid
By organisation
Centre for Research on Embedded Systems (CERES)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 85 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 187 hits
ReferencesLink to record
Permanent link

Direct link