hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (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)
Visa övriga samt affilieringar
2015 (Engelska)Ingår i: 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, s. 1093-1096Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Piscataway, N.J.: IEEE Press, 2015. s. 1093-1096
Nyckelord [en]
hybrid systems, verification, iso 26262
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
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, id: diva2:843623
Konferens
The 12th IEEE International Conference on Embedded Software and Systems (ICESS 2015), August 24-26, New York, USA
Forskningsfinansiär
KK-stiftelsenVINNOVA, 2011-01819
Anmärkning

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).

Tillgänglig från: 2015-07-29 Skapad: 2015-07-21 Senast uppdaterad: 2018-03-22Bibliografiskt granskad

Open Access i DiVA

fulltext(1607 kB)300 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1607 kBChecksumma SHA-512
9f569a47d1a5f0873014533a88034d11da40c83ab2bb9d4784ee2d0cfb5dde13aa5caf13ec5690f68fa5b7741fe4b7d071282dede9b86f8c97a15ae2d9314e17
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Duracz, AdamXu, FeiTaha, Walid

Sök vidare i DiVA

Av författaren/redaktören
Duracz, AdamXu, FeiTaha, Walid
Av organisationen
Centrum för forskning om inbyggda system (CERES)
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 300 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 424 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf