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.
- 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 Scholar
- 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 Scholar
Digital Library
- K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Boston, 2000. Google Scholar
Digital Library
- K. Czarnecki and S. Helsen. Feature-based survey of model transformation approaches. IBM Systems Journal, 45 (3): 621--645, 2006. Google Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- T. Mens and P. Van Gorp. A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci, 152: 125--142, 2006. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- C. P. Partners. Cesar project, 2010. URL http://www.cesarproject.eu.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
Index Terms
Integrating safety analysis into the model-based development toolchain of automotive embedded systems
Recommendations
Integrating safety analysis into the model-based development toolchain of automotive embedded systems
LCTES '10: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systemsThe 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 ...
Modelling Support for Design of Safety-Critical Automotive Embedded Systems
SAFECOMP '08: Proceedings of the 27th international conference on Computer Safety, Reliability, and SecurityThis 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 ...
Integrating requirements analysis and safety analysis
RE '95: Proceedings of the Second IEEE International Symposium on Requirements EngineeringSummary form only given. In developing software for safety critical systems, it is necessary to carry out both requirements analysis and safety analysis. During requirements analysis, the behavioural and functional requirements of the system's software ...







Comments