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

Authors:
Matthias Biehl;Chen DeJiu;Martin Törngren
Affiliations:
Royal Institute of Technology (KTH), Stockholm, Sweden;Royal Institute of Technology (KTH), Stockholm, Sweden;Royal Institute of Technology (KTH), Stockholm, Sweden
Venue:
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Year:
2010

Citing 6
Cited 5

Tool integration in software engineering environments

Proceedings of the international workshop on environments on Software engineering environments
Generative programming: methods, tools, and applications

Generative programming: methods, tools, and applications
Feature-based survey of model transformation approaches

IBM Systems Journal - Model-driven software development
ATL: A model transformation tool

Science of Computer Programming
A layered approach to automated electrical safety analysis in automotive environments

Computers in Industry
A Taxonomy of Model Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)

View-supported rollout and evolution of model-based ECU applications

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Experiences of applying model-based analysis to support the development of automotive software product lines

Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Computer-aided PHA, FTA and FMEA for automotive embedded systems

SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Managing complexity and variability of a model-based embedded software product line

Innovations in Systems and Software Engineering
An architectural approach to the analysis, verification and validation of software intensive embedded systems

Computing

Quantified Score

Hi-index	0.00

Visualization

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.