Modelling Support for Design of Safety-Critical Automotive Embedded Systems

Authors:
Dejiu Chen;Rolf Johansson;Henrik Lönn;Yiannis Papadopoulos;Anders Sandberg;Fredrik Törner;Martin Törngren
Affiliations:
Royal Institute of Technology, Stockholm, Sweden SE-10044;Mentor Graphics Corp., Gothenburg, Sweden SE-41755;Volvo Technology Corp., Gothenburg, Sweden SE-40508;University of Hull, Hull, UK HU6 7RX;Mecel AB, Gothenburg, Sweden SE-400 20;Volvo Car Corp., Gothenburg, Sweden SE-40531;Royal Institute of Technology, Stockholm, Sweden SE-10044
Venue:
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Year:
2008

Citing 4
Cited 2

The AltaRica formalism for describing concurrent systems

Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
Hierarchically Performed Hazard Origin and Propagation Studies

SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Evolving car designs using model-based automated safety analysis and optimisation techniques

Journal of Systems and Software - Special issue: Computer software & applications
Embedded System Design for Automotive Applications

Computer

Deriving safety cases for hierarchical structure in model-based development

SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Use of quality metrics for functional safety in systems of cooperative vehicles

SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.