The EAST-ADL architecture description language for automotive embedded software

Authors:
Philippe Cuenot;Patrick Frey;Rolf Johansson;Henrik Lönn;Yiannis Papadopoulos;Mark-Oliver Reiser;Anders Sandberg;David Servat;Ramin Tavakoli Kolagari;Martin Törngren;Matthias Weber
Affiliations:
Continental Automotive;ETAS;Mentor Graphics;Volvo Technology;University of Hull;TU Berlin;Mecel;CEA, LIST;Volvo Technology;KTH;Carmeq
Venue:
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Year:
2007

Citing 4
Cited 3

Hierarchically Performed Hazard Origin and Propagation Studies

SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Evolving car designs using model-based automated safety analysis and optimisation techniques

Journal of Systems and Software - Special issue: Computer software & applications
Component-based vs. Model-based Development: A Comparison in the Context of Vehicular Embedded Systems

EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Embedded System Design for Automotive Applications

Computer

Modelling of safety-related timing constraints for automotive embedded systems

SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
A simple and flexible timing constraint logic

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Generation and validation of traces between requirements and architecture based on formal trace semantics

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Current trends in automotive embedded systems focus on how to manage the increasing software content, with a strong emphasis on standardization of the embedded software structure. The management of engineering information remains a critical challenge in order to support development and other stages of the life-cycle. System modelling based on an Architecture Description Language (ADL) is a way to keep these assets within one information structure. This paper presents the EAST- ADL2 modelling language, developed in the ITEA EAST-EEA project and further enhanced in the ATESST project (www.atesst.org). EAST- ADL2 supports comprehensive model-based development of embedded systems and provides dedicated constructs to facilitate variability and product line management, requirements engineering, representation of functional as well as software/hardware solutions, and timing and safety analysis.