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
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, Published 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. © 2015 IEEE.

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
Identifiers
URN: urn:nbn:se:hh:diva-29050DOI: 10.1109/HPCC-CSS-ICESS.2015.296ISI: 000380408100180Scopus ID: 2-s2.0-84961700429OAI: oai:DiVA.org:hh-29050DiVA: diva2:843623
Conference
The 12th IEEE International Conference on Embedded Software and Systems (ICESS 2015), August 24-26, New York, USA
Funder
Knowledge FoundationVINNOVA, 2011-01819
Note

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: 2016-11-30Bibliographically approved

Open Access in DiVA

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

Other links

Publisher's full textScopus

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: 202 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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 260 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