Modelling Support for Design of Safety-Critical Automotive Embedded Systems

  • DeJiu Chen
  • Rolf Johansson
  • Henrik Lönn
  • Yiannis Papadopoulos
  • Anders Sandberg
  • Fredrik Törner
  • Martin Törngren
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5219)


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.


Automotive Embedded Systems Dependability Model-Based Development Safety Analysis Safety Case 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    International Organization for Standardization: Draft 26262. ISO Committee (2008)Google Scholar
  2. 2.
    Chen, D.J., Törgren, M., Lönn, H.: Elicitation of relevant analysis and V&V techniques. D2.2.1. ATESST EC FP6 (2007),
  3. 3.
    AUTOSAR Development Partnership,
  4. 4.
    Kelly, T.P.: Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD Thesis. University of York (1998)Google Scholar
  5. 5.
    Papadopoulos, Y., McDermid, J.A.: Hierarchically Performed Hazard Origin and Propagation Studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139–152. Springer, Heidelberg (1999)Google Scholar
  6. 6.
    Sangiovanni-Vincentelli, A., Di Natale, M.: Embedded System Design for Automotive Applications. IEEE Computer 40(10), 42–51 (2007)Google Scholar
  7. 7.
    HIS Members and Partners: Specification Requirements Interchange Format (RIF). v1.1a (2007),
  8. 8.
    SysML Partners: Systems Modeling Language (SysML). Open Source Specification Project,
  9. 9.
    Cuenot, P., Frey, P., Johansson, R., Lönn, H., Reiser, M.-O., Servat, D., Tavakoli Kolagari, R., Chen, D.J.: Developing Automotive Products Using the EAST-ADL2, an AUTOSAR Compliant Architecture Description Language. Ingéniurs de l’Automobile 793, 58–64 (2008)Google Scholar
  10. 10.
    Törner, F., Chen, D.J., Johansson, R., Lönn, H., Törngren, M.: Supporting an Automotive Safety Case through Systematic Model Based Development - the EAST-ADL2 Approach. Technical Paper Series, 2008-01-0127. SAE (2008)Google Scholar
  11. 11.
    International Electrotechnical Commission: Functional safety of electrical/electronic/programmable electronic safety-related systems – Part 0: Functional safety and IEC 61508 (2005)Google Scholar
  12. 12.
    Martin, T., Chen, D.J., Malvius, D., Axelsson, J.: Chapter - Model based development of automotive embedded systems. In: Navet, N., Simonot-Lion, F. (eds.) Automotive Embedded Systems Handbook. Industrial Information Technology. Taylor and Francis CRC Press, Abington (2008)Google Scholar
  13. 13.
    Arnold, A., Griffault, A., Point, G., Rauzy, A.: The Altarica formalism for describing concurrent systems. Fundamenta Informaticae 40, 109–124 (2000)MathSciNetGoogle Scholar
  14. 14.
    Bozzano, M., Villafiorita, A., et al.: ESACS: an integrated methodology for design and safety analysis of complex systems. In: ESREL European Safety and Reliability Conference, Balkema, pp. 237–245 (2003)Google Scholar
  15. 15.
    Papadopoulos, Y., Grante, C.: Evolving car designs using model-based automated safety analysis and optimization techniques. Journal of Systems and Software 76(1), 77–89 (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • DeJiu Chen
    • 1
  • Rolf Johansson
    • 2
  • Henrik Lönn
    • 3
  • Yiannis Papadopoulos
    • 4
  • Anders Sandberg
    • 5
  • Fredrik Törner
    • 6
  • Martin Törngren
    • 1
  1. 1.Royal Institute of TechnologyStockholmSweden
  2. 2.Mentor Graphics Corp.GothenburgSweden
  3. 3.Volvo Technology Corp.GothenburgSweden
  4. 4.University of HullHullUK
  5. 5.Mecel ABGothenburgSweden
  6. 6.Volvo Car Corp.GothenburgSweden

Personalised recommendations