OASIS: An automotive analysis and safety engineering instrument

Reliability Engineering and System Safety

Volumn 120, Issue , 2013, Pages 150-162

  Mader, Roland ^a,b   Armengaud, Eric ^a,c   Grießnig, Gerhard ^a   Kreiner, Christian ^b   Steger, Christian ^b   Weiß, Reinhold ^b  

^a AVL LIST GMBH   (Austria)

^b GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

^c Kompetenzzentrum Das Virtuelle Fahrzeug Forschungsgesellschaft mbH   (Austria)

Author keywords

FMEA; FTA; Functional safety; PHA; System architecture

Indexed keywords

FAULT TREE ANALYSIS; HYBRID VEHICLES; SAFETY FACTOR;

FMEA; FTA; FUNCTIONAL SAFETY; PHA; SYSTEM ARCHITECTURES;

AUTOMATION;

EID: 84885619571     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2013.06.045     Document Type: Article

References (23)

1. International Organization for Standardization, ISO 26262 road vehicles-functional safety; 2011.
2. Papadopoulos Y, Maruhn M. Model-based synthesis of fault trees from Matlab -Simulink models. In: Proceedings of the international conference on dependable systems and networks (DSN 2001); 2001. p. 77-82.
3. Papadopoulos Y, Grante C. Evolving car designs using model-based automated safety analysis and optimisation techniques. The Journal of Systems and Software 2004;76:77-89.
4. Biehl M, DeJui C, Törngren M. Integrating safety analysis into the model-based development toolchain of automotive embedded systems. In: Proceedings of the conference on languages, compilers and tools for embedded systems (LCTES); 2010. p. 125-31.
5. Pai G, Dugan J. Automatic synthesis of dynamic fault trees from UML system models. In: Proceedings of the 13th international symposium on software reliability engineering (ISSRE); 2002. p. 243-54.
6. Domis D, Trapp M. Integrating safety analyses and component-based design. In: Proceedings of the 27th international conference on computer safety, reliability and security; 2008. p. 58-71.
7. Elmqvist J, Nadjm-Tehrani S. Tool support for incremental failure mode and effects analysis of component-based systems. In: Proceedings of the design, automation and test in Europe conference and exhibition (DATE'08); 2008. p. 921-27.
8. Latif-Shabgahi G, Tajarrod F. A new approach for the construction of fault trees from system Simulink. In: Proceedings of the international conference on availability, reliability and security (ARES); 2009. p. 712-17.
9. Bozzano M, Cimatti A, Katoen J, Nguyen V, Noll T, Roveri M, et al. A model checker for AADL. In: Proceedings of the 22nd international conference on computer aided verification (CAV); 2010. p. 562-5.
10. Esteve M-A, Katoen J-P, Nguyen V, Postma B, Yushtein Y. Formal correctness, safety, dependability, and performance analysis of a satellite. In: Proceedings of the 13th international symposium on software reliability engineering (ISSRE); 2012. p. 1022-31.
11. Lauer C, German R, Pollmer J. Fault tree synthesis from UML models for reliability analysis at early design stages. ACM SIGSOFT Software Engineering Notes 2011;36:1-8.
12. Xiang J, Yanoo K, Maeno Y, Tadano K. Automatic synthesis of static fault trees from system models. In: Proceedings of the 5th international conference on secure software integration and reliability improvement; 2004. p. 127-36.
13. Lanusse A, Tanguy Y, Espinoza H, Mraidha C, Gerard S, Tessier P, et al. Papyrus UML: an open source toolset for MDA. In: Proceedings of the 5th European conference on model-driven architecture foundations and applications (ECMDA-FA 2009); 2009. p. 1-4.
14. ATESST2 Project Consortium, EAST-ADL domain model specification, version 2.1, release candidate 3; 2010.
15. Harel D, Rumpe B. Meaningful modeling: what's the semantics of "Semantics"?. IEEE Transactions on Computers 2004;37:64-72.
16. Ignazio JP, Cavalier TM. Linear programming. Prentice Hall; 1994.
17. Mader R, Armengaud E, Leitner A, Steger C. Automatic and optimal allocation of safety integrity levels. In: Proceedings of the reliability and maintainability symposium (RAMS); 2012. p. 258-63.
18. Mader R, Grießnig G, Armengaud E, Leitner A, Kreiner C, Bourrouilh Q, et al. A bridge from system to software development for safety-critical automotive embedded systems. In: Proceedings of the EUROMICRO conference on software engineering and advanced applications (SEAA); 2012. p. 75-9.
19. Leveson NG. Safeware: system safety and computers. Addison-Wesley Publishing Company; 1995.
20. Mader R, Grießnig G, Leitner A, Kreiner C, Bourrouilh Q, Armengaud E, et al. A computer-aided approach to preliminary hazard analysis for automotive embedded systems. In: Proceedings of the IEEE international conference and workshops on engineering of computer based systems (ECBS); 2011. p. 169-78.
21. Mader R, Armengaud E, Leitner A, Kreiner C, Bourrouilh Q, Grießnig G, et al. Computer-aided PHA, FTA and FMEA for automotive embedded systems. In: Proceedings of the international conference on computer safety, reliability and security (SafeComp); 2011. p. 113-27.
22. International Electrotechnical Commission, IEC 61025-Ed. 2.0 fault tree analysis (FTA); 2006.
23. Ehsani M, Gao Y, Gay S, Emadi A. Hybrid electric vehicles. In: Modern electric, hybrid electric, and fuel cell vehicles fundamentals, theory, and design. CRC Press; 2005 [Chapter 5].