Sökning: onr:"swepub:oai:DiVA.org:hh-29050" >
Using Rigorous Simu...
Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment
-
- Duracz, Adam, 1981- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Effective Modeling Group
-
- Eriksson, Henrik (författare)
- SP Technical Research Institute of Sweden, Borås, Sweden
-
- Bartha, Ferenc Ágoston (författare)
- Rice University, Houston TX, USA
-
visa fler...
-
- Zeng, Yingfu (författare)
- Rice University, Houston TX, USA,Effective Modeling Group
-
- Xu, Fei, 1990- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Effective Modeling Group
-
- Taha, Walid, 1972- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Rice University, Houston TX, USA,Effective Modeling Group
-
visa färre...
-
(creator_code:org_t)
- Piscataway, N.J. IEEE Press, 2015
- 2015
- Engelska.
-
Ingår i: 2015 IEEE 12th International Conference on Embedded Software and Systems (ICESS). - Piscataway, N.J. : IEEE Press. ; , s. 1093-1096
- Relaterad länk:
-
https://hh.diva-port... (primary) (Raw object)
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- hybrid systems
- verification
- iso 26262
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)