Modelling Support for Design of Safety-Critical Automotive Embedded Systems
Paper in proceedings, 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.


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

More information