A computer-aided approach to preliminary hazard analysis for automotive embedded systems

Proceedings - 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2011

Volumn , Issue , 2011, Pages 169-178

  Mader, Roland ^a,b   Grießnig, Gerhard ^a,b   Leitner, Andrea ^b   Kreiner, Christian ^b   Bourrouilh, Quentin ^a   Armengaud, Eric ^c   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

Automotive embedded system; Functional safety; ISO 26262; Preliminary hazard analysis; Safety goal

Indexed keywords

AUTOMOTIVE EMBEDDED SYSTEMS; FUNCTIONAL SAFETY; ISO 26262; PRELIMINARY HAZARD ANALYSIS; SAFETY GOAL;

COMPUTER AIDED ANALYSIS; COMPUTER CONTROL SYSTEMS; ELECTRIC UTILITIES; ELECTRIC VEHICLES; HAZARDS; IDENTIFICATION (CONTROL SYSTEMS); MODEL CHECKING; PROBLEM ORIENTED LANGUAGES; TECHNICAL PRESENTATIONS;

EMBEDDED SYSTEMS;

EID: 80051981496     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2011.43     Document Type: Conference Paper

References (20)

1. Nancy G. Leveson, Safeware: system safety and computers. Addison-Wesley Publishing Company, 1995.
2. International Organization for Standardization, "ISO/DIS 26262-1 Road vehicles - Functional safety - Part 1: Vocabulary," 2009.
3. -, "ISO/DIS 26262-3 Road vehicles - Functional safety - Part 3: Concept phase," 2009.
4. M. Törngren, D. Chen, D. Malvius, and J. Axelsson, "Model-Based Development of Automotive Embedded Systems," in Automotive Embedded Systems Handbook. CRC Press, 2008, ch. 10.
5. D. Harel and B. Rumpe, "Meaningful Modeling: What's the Semantics of "Semantics"?" IEEE Transactions on Computers, vol. 37, pp. 64-72, Oct. 2004.
6. ATESST2 Project Consortium, "EAST-ADL Domain Model Specification," 2010, version 2.1, Release Candidate 3.
7. P. Johannessen, F. Törner, and J. Torin, "Actuator Based Hazard Analysis for Safety Critical Systems," in Proc. of the 23th International Conference on Computer Safety, Reliability and Security, Sep. 2004, pp. 130-141.
8. F. Törner, P. Johannessen, and P. Öhman, "Assessment of Hazard Identification Methods for the Automotive Domain," in Proc. of the 25th International Conference on Computer Safety, Reliability and Security, Sep. 2006, pp. 247-260. (Pubitemid 44744051)
9. P. Jesty, D. Ward, and R. Rivett, "Hazard Analysis for Programmable Automotive Systems," in Proc. of the 2nd IET International Conference on System Safety 2007, Dec. 2007, pp. 106-111.
10. H. Schubotz, "Hazard Analysis and Risk Assessment for Complex EE-Architectures," in Proc. of the SAE World Congress & Exhibition, no. 2010-01-0029, Apr. 2010.
11. M. Stringfellow, N. Leveson, and B. Owens, "Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems," Proceedings of the IEEE, vol. 98, pp. 515-525, 2010.
12. J. Michael, M.-T. Shing, K. Cruickshank, and P. Redmond, "Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety," IEEE Systems Journal, vol. 4, pp. 186-197, 2010.
13. S. Kumar, P. Ramaiah, and V. Khanaa, "A Methodology for Building Safer Software based Critical Computing Systems," in Proc. of the 2nd IEEE International Conference on Advance Computing (IACC'2010), Feb. 2010, pp. 422-429.
14. H. Giese, M. Tichy, and D. Schilling, "Compositional Hazard Analysis of UML Component and Deployment Models," in Proc. of the 23th International Conference on Computer Safety, Reliability and Security, Sep. 2004, pp. 166-179.
15. K. Allenby and T. Kelly, "Deriving Safety Requirements Using Scenarios," in Proc. of the 5th IEEE International Symposium on Requirements Engineering, Aug. 2001, pp. 228-235. (Pubitemid 32878098)
16. A. Sandberg, D.-J. Chen, H. Lönn, R. Johansson, L. Feng, M. Törngren, S. Torchiaro, R. T. Kolagari, and A. Abele, "Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2," in Proc. of the 29th International Conference on Computer Safety, Reliability and Security, Sep. 2010, pp. 332-346.
17. A. Lanusse, Y. Tanguy, H. Espinoza, C. Mraidha, S. Gerard, P. Tessier, R. Schnekenburger, H. Dubois, and F. Terrier, "Papyrus UML: an open source toolset for MDA." in Proc. of the Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), Jun. 2009, pp. 1-4.
18. ATESST2 Project Consortium, "Refined EAST-ADL2 tool support," Tech. Rep., 2010, Deliverable D3.2.
19. D. Makartetskiy, D. Pozza, and R. Sisto, "An Overview of Software-based Support Tools for ISO 26262," in Proc. of the 3rd International Workshop on Innovation in Information Technologies: Theory and Practice, Sep. 2010, pp. 1-6.
20. M. Ehsani, Y. Gao, S. Gay, and A. Emadi, "Hybrid Electric Vehicles," in Modern Electric, Hybrid Electric, and Fuel Cell Vehicles Fundamentals, Theory, and Design. CRC Press, 2005, ch. 5.