Advertisement

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)

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.

Keywords

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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), http://www.atesst.org
  3. 3.
    AUTOSAR Development Partnership, http://www.autosar.org
  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), http://www.automotive-his.de
  8. 8.
    SysML Partners: Systems Modeling Language (SysML). Open Source Specification Project, http://www.sysml.org
  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