Skip to main content
Springer Nature Link
Log in

Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language

  • Chapter
Architecting Dependable Systems IV

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4615))

  • 730 Accesses

Abstract

The complexity of embedded automotive systems calls for a more rigorous approach to system development compared to current state of practice. A critical issue is the management of the engineering information that defines the embedded system. Development time, cost efficiency, quality and most importantly, dependability, all benefit from appropriate information management. System modeling based on an architecture description language is a way to keep the engineering information in one information structure. The EAST-ADL was developed in the EAST-EEA project (www.east-eea.org) and is an architecture description language for automotive embedded systems. It is currently refined in the ATESST project (www.atesst.org). This chapter describes how dependability is addressed in the EAST-ADL. The engineering process defined in the EASIS project (www.easis-online.org) is used as an example to illustrate the support for engineering processes in EAST-ADL.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Akerlund, O., Bieber, P., Boede, E., Bozzano, M., Bretschneider, M., Castel, C., Cavallo, A., Cifaldi, M., Gauthier, J., Griffault, A., Lisagor, O., Lüdtke, A., Metge, S., Papadopoulos, C., Peikenkamp, T., Sagaspe, L., Seguin, C., Trivedi, H., Valacca, L.: ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. Embedded Real Time Software, Toulouse (2006)

    Google Scholar 

  2. Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)

    Article  Google Scholar 

  3. Bozzano, M., Villafiorita, A.: Improving System Reliability via Model Checking: The FSAP/NUSMV−SA Safety Analysis Platform. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol. 2788, pp. 302–9743. Springer, Heidelberg (2003)

    Google Scholar 

  4. Bozzano, M., Villafiorita, A., Åkerlund, O., Bieber, P., Bougnol, C., Böde, E., Bretschneider, M., Cavallo, A., Castel, C., Cifaldi, M., Cimatti, A., Griffault, A., Kehren, C., Lawrence, B., Lüdtke, A., Metge, S., Papadopoulos, C., Passarello, R., Peikenkamp, T., Persson, P., Seguin, C., Trotta, L., Valacca, L., Zacco, G.: ESACS: an integrated methodology for design and safety analysis of complex systems. ESREL, Maastricht (2003)

    Google Scholar 

  5. Chudleigh, M.F., Catmur, J.R., Redmill, F.: A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System. In: SAFECOMP 1995, Belgirate, Italy, pp. 42–58 (1995)

    Google Scholar 

  6. Clarke, S.J., McDermid, J.: Software Fault Trees and Weakest Preconditions: A Comparison and Analysis. Journal of Software Engineering (1993)

    Google Scholar 

  7. Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. The SEI Series in Software Engineering. Addison-Wesley, Boston (2002)

    Google Scholar 

  8. EASIS (Electronic Architecture and System Engineering for Integrated Safety Systems), URL: http://www.easis.org

  9. Espinoza, H., Medina, J., Dubois, H., Gérard, S., Terrier, F.: Towards a UML-Based Modelling Standard for Schedulability Analysis of Real-Time Systems. MARTES Workshop at MODELS Conference (2006), available at http://wo.uio.no/as/WebObjects/theses.woa/wa/these?WORKID=45427

  10. Espinoza, H., Dubois, H., Gérard, S., Medina, J., Petriu, D.C., Woodside, C.M.: Annotating UML Models with Non-functional Properties for Quantitative Analysis. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 79–90. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  11. Fenelon, P., McDermid, J.A., Nicolson, M., Pumfrey, D.J.: Towards integrated safety analysis and design. ACM SIGAPP Applied Computing Review 2(1) (1994)

    Google Scholar 

  12. Gerard, S., Espinoza, H.: Rationale of the UML profile for Marte. Chapter of the book: From MDD Concepts to Experiments and Illustrations, pp. 43–52 (2006)

    Google Scholar 

  13. Gérard, S., et al.: Efficient System Modeling of Complex Real-time Industrial Networks Using The ACCORD/UML Methodology. In: DIPES 2000. Architecture and Design of Distributed Embedded Systems, Paderborn University, Germany, Kluwer Academic Publishers, Dordrecht (2000)

    Google Scholar 

  14. Gorski, J., Wardzinski, A.: Deriving real-time requirements for software from safety analysis. In: Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, pp. 9–14 (1996)

    Google Scholar 

  15. Hansen, K.M., Ravn, A., Stavridou, P.V.: From safety analysis to software requirements. IEEE Transactions on Software Engineering 24(7), 573–584 (1998)

    Article  Google Scholar 

  16. ISO TC22 SC3 WG16 preliminary results for introduction of future Automotive standard ISO 26262 ”Road vehicle - Functional Safety” (planned for 2008)

    Google Scholar 

  17. Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature Oriented Domain Analysis (FODA) – Feasibility Study. Technical Report, CMU/SEI-90-TR-21 (1990)

    Google Scholar 

  18. Kang, K.C., Kim, S., Lee, J., Shin, E., Huh, M.: FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures. Annals of Software Engineering 5, 143–168 (1998)

    Article  Google Scholar 

  19. Kehren, C., Seguin, C., Bieber, P., Castel, C., Bougnol, C., Heckmann, J.-P., Metge, S.: Advanced Multi-System Simulation Capabilities with AltaRica. In: 22nd Int. System Safety Conf. System Safety Society (2004)

    Google Scholar 

  20. Kletz, T., HAZOP,: and HAZAN: Identifying and assessing process industry standards, 3rd edn. Hemisphere, Washington, DC (1992)

    Google Scholar 

  21. Lano, K., Clark, D., Androutsopoulos, K.: Safety and Security Analysis of Object-Oriented Models. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol. 2434, Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  22. Leveson, N.G.: Safeware: System safety and computers. Addison-Wesley Publishing Company, Reading (1995)

    Google Scholar 

  23. Leveson, N.G., Cha, S.S., Shimeall, T.J.: Safety Verification of Ada Programs Using Software Fault Trees. IEEE Software, 48–59 (1991)

    Google Scholar 

  24. Lutz, R.R., Shaw, H.-Y.: Applying Adaptive Safety Analysis Techniques. In: Proceedings of the 10th International Symposium on Software Reliability Engineering, Boca Raton, FL (1999)

    Google Scholar 

  25. Object Management Group, UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) RFP, realtime/05-02-06 (2005)

    Google Scholar 

  26. Object Management Group, UML Profile for Schedulability, Performance, and Time, Version 1.1. formal/05-01-02 (2005)

    Google Scholar 

  27. Object Management Group, Systems Modeling Language (SysML) Specification, ptc/06-05-04 (2006)

    Google Scholar 

  28. Palady, P.: Failure Modes and Effects Analysis. PT Publications, West Palm Beach, FL (1995)

    Google Scholar 

  29. 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 

  30. ProMarte consortium, Joint UML Profile for MARTE Initial Submission, realtime/05-11-01 (November 2005), available at http://www.omg.org/cgi-bin/doc?realtime/05-11-01

  31. Reiser, M.-O., Weber, M.: Using Product Sets to Define Complex Product Decisions. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 21–32. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  32. Reiser, M.-O., Weber, M.: Managing highly complex product families with multi-level feature trees. In: Proceedings of the 14th IEEE International Requirements Engineering Conference, RE, pp. 146–155. IEEE Computer Society Press, Los Alamitos (2006)

    Google Scholar 

  33. Rushby, J.: Critical system properties: Survey and taxonomy. Reliability Engineering and System Safety 43(2), 189–214 (1994)

    Article  Google Scholar 

  34. ARP-4761, S.A.E.: Aerospace recommended practice: guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. 12th edn. SAE, 400 Commonwealth Drive Warrendale PA United States (1996)

    Google Scholar 

  35. Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, Reading (1996)

    Google Scholar 

  36. Sullivan, K.J., Dugan, J.B., Coppit, D.: The Galileo fault tree analysis tool. In: Proc. of the 29th Annual IEEE International Symposium on Fault-Tolerant Computing, pp. 232–235. IEEE Computer Society Press, Los Alamitos (1999)

    Google Scholar 

  37. Tessier, P., Gérard, S., Terrier, F., Geib, J.-M.: Using variation propagation for Model-Driven Management of a System Family. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 222–233. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  38. Vesely, W.E.: Fault Tree Handbook, US Nuclear Regulatory Committee Report NUREG-0492, US NRC, Washington, DC (1981)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Siemens VDO, 1 Avenue Paul Ourliac, BP 1149 31036 Toulouse Cedex 1, France

    Philippe Cuenot

  2. Royal Institute of Technology, SE-100 44 Stockholm, Sweden

    DeJiu Chen & Martin Törngren

  3. CEA List , Commissariat à l’Énergie Atomique Saclay, F-91191 Gif sur Yvette Cedex, France

    Sébastien Gérard & David Servat

  4. Volvo Technology Corporation, Electronics and Software, SE-405 08 Gothenburg, Sweden

    Henrik Lönn

  5. Technical University of Berlin, Software Engineering Group, D-10587 Berlin, Germany

    Mark-Oliver Reiser & Ramin Tavakoli Kolagari

  6. Carmeq GmbH, D-10587 Berlin, Germany

    Matthias Weber

Authors
  1. Philippe Cuenot
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. DeJiu Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sébastien Gérard
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Henrik Lönn
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Mark-Oliver Reiser
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. David Servat
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Ramin Tavakoli Kolagari
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Martin Törngren
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Matthias Weber
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rogério de Lemos Cristina Gacek Alexander Romanovsky

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Cuenot, P. et al. (2007). Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds) Architecting Dependable Systems IV. Lecture Notes in Computer Science, vol 4615. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74035-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-74035-3_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-74033-9

  • Online ISBN: 978-3-540-74035-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics