CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Modelling Support for Design of Safety-Critical Automotive Embedded Systems

DeJiu Chen ; Rolf Johansson ; Henrik Lönn ; Yiannis Papadopoulos ; Anders Sandberg ; Fredrik Törner (Institutionen för data- och informationsteknik, Datorteknik (Chalmers)) ; Martin Törngren
Proceedings of the 27th International Conference on Computer Safety, Reliability and Security, 2008. (2008)
[Konferensbidrag, refereegranskat]

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.

Denna post skapades 2008-11-17. Senast ändrad 2011-01-20.
CPL Pubid: 78128


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Datorteknik (Chalmers)



Chalmers infrastruktur