Modelling Support for Design of Safety-Critical Automotive Embedded Systems
Paper in proceeding, 2008
This paper describes and demonstrates an approach that promises to bridge the gap between model-based systems engineering and the safety process of automotive embedded systems. The basis for this is the integration of safety analysis techniques, a method for developing and managing Safety Cases, and a systematic approach to model-based engineering – the EAST-ADL2 architecture description language. Three areas are highlighted: (1) System model development on different levels of abstraction. This enables fulfilling many requirements on software development as specified by ISO-CD-26262; (2) Safety Case development in close connection to the system model; (3) Analysis of mal-functional behaviour that may cause hazards, by modelling of errors and error propagation in a (complex and hierarchical) system model.
Author
DeJiu Chen
Rolf Johansson
Henrik Lönn
Yiannis Papadopoulos
Anders Sandberg
Fredrik Törner
Chalmers, Computer Science and Engineering (Chalmers), Computer Engineering (Chalmers)
Martin Törngren
Proceedings of the 27th International Conference on Computer Safety, Reliability and Security, 2008.
Subject Categories
Computer Engineering