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

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn , Issue , 2010, Pages 125-131

  Biehl, Matthias ^a   DeJiu, Chen ^a   Törngren, Martin ^a  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

architecture description language; model based development; safety analysis; tool integration

Indexed keywords

ARCHITECTURE DESCRIPTION LANGUAGES; AUTOMOTIVE DOMAINS; AUTOMOTIVE EMBEDDED SYSTEMS; DEVELOPMENT PROCESS; GROWING DEMAND; MODEL BASED DEVELOPMENT; MODEL TRANSFORMATION; MODEL TRANSFORMATION TECHNIQUE; SAFETY ANALYSIS; SAFETY ANALYSIS TOOLS; SAFETY GOALS; SEAMLESS INTEGRATION;

ARCHITECTURE; AUTOMOTIVE INDUSTRY; INTEGRATION; LINGUISTICS; PROGRAM COMPILERS; QUERY LANGUAGES; SECURITY SYSTEMS; TRANSLATION (LANGUAGES);

EMBEDDED SYSTEMS;

EID: 77954461067     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1755888.1755907     Document Type: Conference Paper

References (14)

1. M. Boiteau, Y. Dutuit, A. Rauzy, and J. P. Signoret. The altarica data-flow language in use: modeling of production availability of a multistate system. Reliability Engineering & System Safety, 91(7), 2006.
2. D. Chen, R. Johansson, H. Lönn, Y. Papadopoulos, A. Sandberg, F. Törner, and M. Törngren. Modelling support for design of safetycritical automotive embedded systems. In Computer Safety, Reliability, and Security, Lecture Notes in Computer Science SAFECOMP2008, 2008.
3. K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Boston, 2000.
4. K. Czarnecki and S. Helsen. Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3):621-645, 2006.
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.
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.
7. F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev. ATL: a model transformation tool. Science of Computer Programming, 72:31-39, June 2008.
8. T. Mens and P. Van Gorp. A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci, 152:125-142, 2006.
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.
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.
11. C. P. Partners. Cesar project, 2010. URL http://www.cesarproject.eu.
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. doi: 10.1016/j.compind.2006.02.001. URL http://dx.doi.org/10.1016/j.compind.2006.02.001.
13. J. 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.
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.