Advancing Traffic Efficiency and Safety through Software Technology, Phase 2 (ATESST2)

This document is the specification of the profile for EAST-ADL. The EAST language was originally developed in the EAST-EEA project. In the ATESST and ATESST2 projects, the language was further refined and harmonized with other modeling approach development efforts in the automotive industry such as AUTOSAR. The domain model and UML2 profile of EAST-ADL is defined in two steps: First the domain model is defined, capturing only the domain-specific needs of the language without adding the UML2 details. The basic concepts of UML2 are used for this purpose, such as classes, compositions, and associations. Second, based on the domain model, a UML2 profile for the domain model is defined, specifying stereotypes with properties and constraints. The UML2 profile specified this document is associated XMI file ready for use in UML2 tools. This specification and related material are available from the www.atesst.org website. Comments on the content of this document are welcome and should be directed to coordinator@atesst.org.

[1]  William Ewart Henley,et al.  OPERATION , 1973, ISO 22301:2019 and business continuity management – Understand how to plan, implement and enhance a business continuity management system (BCMS).

[2]  J. Lee Wiederholt,et al.  Interchange , 1974 .

[3]  中嶋 和久,et al.  環境 Environment について , 1992 .

[4]  J. Herman.  Needs , 1993, The Lancet.

[5]  Refractor,et al.  Third webspace to thumb digital nerve transfer for traumatic avulsion injury , 2023, The Journal of hand surgery, European volume.

[6]  Andrew B. Kahng,et al.  Variability , 2002, IEEE Des. Test Comput..

[7]  Mission , 2005 .

[8]  M. N. Wicks.  Tool Integration in Software Engineering Environments , 2005 .

[9]  Mariam Fraser,et al.  Event , 2006, Photographs and the Practice of History.

[10]  Aarnout C. Brombacher.  Dependability . . , 2007, Qual. Reliab. Eng. Int..

[11]  Rolf Johansson,et al.  The EAST-ADL Architecture Description Language for Automotive Embedded Software , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[12]  Jianlin Shi,et al.  Mapping Simulink to UML in the design of embedded systems:Investigating scenarios and transformations , 2008 .

[13]  Matthias Weber,et al.  Product Lines in Automotive Electronics , 2008 .

[14]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[15]  Robert Bringhurst,et al.  Elements , 2008, Architectural Styles.

[16]  Rolf Johansson,et al.  Engineering support for automotive embedded systems : beyond Autosar , 2008 .

[17]  Fredrik Törner,et al.  Modelling Support for Design of Safety-Critical Automotive Embedded Systems , 2008, SAFECOMP.

[18]  Ramin Tavakoli Kolagari,et al.  Compositional Variability - Concepts and Patterns , 2009, 2009 42nd Hawaii International Conference on System Sciences.

[19]  Martin Walker,et al.  Semi-Automatic FMEA Supporting Complex Systems with Combinations and Sequences of Failures , 2009 .

[20]  Yiannis Papadopoulos,et al.  Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook , 2009 .

[21]  T. Stankowich.  Behavior , 2009, The Quarterly Review of Biology.

[22]  Lei Feng,et al.  Verifying system behaviors in EAST-ADL2 with the SPIN model checker , 2010, 2010 IEEE International Conference on Mechatronics and Automation.

[23]  Yiannis Papadopoulos,et al.  Dynamic Effect of Perfect Preventive Maintenance on System Reliability and Cost Using HiP-HOPS , 2010 .

[24]  Rolf Johansson,et al.  Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2 , 2010, SAFECOMP.

[25]  Martin Törngren,et al.  A modular tool integration approach : experiences from two case studies , 2010 .

[26]  Martin Törngren,et al.  The CVM Framework - A Prototype Tool for Compositional Variability Management , 2010, VaMoS.

[27]  Lars Grunske,et al.  Capture and reuse of composable failure patterns , 2010, Int. J. Crit. Comput. Based Syst..

[28]  Florian Kammüller,et al.  Feature link propagation across variability representations with Isabelle/HOL , 2010, PLEASE '10.

[29]  Martin Törngren,et al.  Integrating safety analysis into the model-based development toolchain of automotive embedded systems , 2010, LCTES '10.

[30]  Martin Walker,et al.  Automatic allocation of safety integrity levels , 2010, EDCC-CARS.

[31]  Martin Walker,et al.  A translation of State Machines to temporal fault trees , 2010, 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W).

[32]  D. Hunter.  Feature , 2011 .