skip to main content
research-article

Integrating safety analysis into the model-based development toolchain of automotive embedded systems

Authors Info & Claims
Published:13 April 2010Publication History
Skip Abstract Section

Abstract

The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires translating concepts of the automotive domain to the safety domain. We automate such a translation between the automotive architecture description language EAST-ADL2 and the safety analysis tool HiP-HOPS by using model transformations and by leveraging the advantages of different model transformation techniques. Through this integration, the analysis can be conducted early in the development process, when the system can be redesigned to fulfill safety goals with relatively low effort and cost.

References

  1. M. Boiteau, Y. Dutuit, A. Rauzy, and J. P. Signoret. The altarica data-flow language in use: modeling of production availability of a multi-state system. Reliability Engineering & System Safety, 91 (7), 2006.Google ScholarGoogle Scholar
  2. n, Papadopoulos, Sandberg, Törner, and Törngren}adl.east-adl.errormodelD. Chen, R. Johansson, H. Lönn, Y. Papadopoulos, A. Sandberg, F. Törner, and M. Törngren. Modelling support for design of safety-critical automotive embedded systems. In Computer Safety, Reliability, and Security, Lecture Notes in Computer Science SAFECOMP2008, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Boston, 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. K. Czarnecki and S. Helsen. Feature-based survey of model transformation approaches. IBM Systems Journal, 45 (3): 621--645, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. X. Dumas, C. Pagetti, L. Sagaspe, P. Bieber, and P. Dhaussy. Vers la génération de modèles de sûreté de fonctionnement. Revue des Nouvelles Technologies de l'Information, RNTI-L-2: 157--172, 2008.Google ScholarGoogle Scholar
  6. S. Efftinge, P. Friese, A. Haase, C. Kadura, B. Kolb, D. Moroff, K. Thoms, and M. Voelter. openarchitectureware user guide. Technical report, openArchitectureWare Community, 2007.Google ScholarGoogle Scholar
  7. vin, and Kurtev}mdsd.transformation.atlF. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev. ATL: a model transformation tool. Science of Computer Programming, 72: 31--39, June 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. T. Mens and P. Van Gorp. A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci, 152: 125--142, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Y. Papadopoulos and J. A. McDermid. Hierarchically performed hazard origin and propagation studies. In M. Felici, K. Kanoun, and A. Pasquini, editors, SAFECOMP, volume 1698 of Lecture Notes in Computer Science, pages 139--152. Springer, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Y. Papadopoulos, J. A. McDermid, R. Sasse, and G. Heiner. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering and System Safety, 71(3): 229--247, 2001.Google ScholarGoogle ScholarCross RefCross Ref
  11. C. P. Partners. Cesar project, 2010. URL http://www.cesarproject.eu.Google ScholarGoogle Scholar
  12. C. J. Price, N. A. Snooke, and S. D. Lewis. A layered approach to automated electrical safety analysis in automotive environments. Computers in Industry, 57 (5): 451--461, 2006. 10.1016/j.compind.2006.02.001. URL http://dx.doi.org/10.1016/j.compind.2006.02.001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. ngren}safety.plugin.jianlinJ. Shi, D. Chen, and M. Törngren. Case studies on integrating simulink, uml and safety analysis through model transformations. Technical report, KTH, Mechatronics Lab, 2007.Google ScholarGoogle Scholar
  14. A. I. Wasserman. Tool integration in software engineering environments. In F. Long, editor, Software Engineering Environments, International Workshop on Environments Proceedings, number 467 in Lecture Notes in Computer Science, pages 137--149. Springer-Verlag, September 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Integrating safety analysis into the model-based development toolchain of automotive embedded systems

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Published in

      cover image ACM SIGPLAN Notices
      ACM SIGPLAN Notices  Volume 45, Issue 4
      LCTES '10
      April 2010
      170 pages
      ISSN:0362-1340
      EISSN:1558-1160
      DOI:10.1145/1755951
      Issue’s Table of Contents
      • cover image ACM Conferences
        LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
        April 2010
        184 pages
        ISBN:9781605589534
        DOI:10.1145/1755888

      Copyright © 2010 ACM

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 13 April 2010

      Check for updates

      Qualifiers

      • research-article

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!