The Experts below are selected from a list of 15477 Experts worldwide ranked by ideXlab platform

Martin Torngren - One of the best experts on this subject based on the ideXlab platform.

  • Towards the Integration of EAST-ADL and UPPAAL for FormalVerification of EAST-ADL Timing Constraint Specification
    2012
    Co-Authors: Tahir Naseer Qureshi, Dejiu Chen, Magnus Persson, Martin Torngren
    Abstract:

    EAST-ADL is an Architecture Description Language developed for specifications of automotive embedded systems at multiple abstraction levels. Based on the best practices in model-based system develo ...

  • from east adl to autosar software Architecture a mapping scheme
    European Conference on Software Architecture, 2011
    Co-Authors: Tahir Naseer Qureshi, Dejiu Chen, Henrik Lonn, Martin Torngren
    Abstract:

    This paper addresses the gap between models describing system requirements, functions and Architecture at a higher level of abstraction (such as SysML models), with respect to software/hardware Architecture Description (such as the AADL models) as the means to improve the development process or embedded systems. The EAST-ADL and AUTOSAR are the two focused Architecture Description formalisms in the presented work. While EAST-ADL is an Architecture Description Language providing an extension and profiling of SysML dedicated to automotive embedded systems, AUTOSAR provides means to describe software Architecture Architectures. The contribution of the paper is a relationship investigation between different concepts of the two Languages. Three case studies, of a position control, fuel control and a brake-by-wire system, have been used to support and validate the work. The resulting mapping scheme provides a basis for automated Architecture refinements and synthesis.

  • engineering support for automotive embedded systems beyond autosar
    ATZ AUTOTECHNOLOGY, 2009
    Co-Authors: Philippe Cuenot, Henrik Lonn, David Servat, Ramin Tavakoli Kolagari, Martin Torngren, Patrick Frey, Rolf Johansson, Matthias Weber
    Abstract:

    The future de-facto standard for automotive Electric/Electronic (E/E) software Architectures of the AUTomotive Open System Architecture (Autosar) initiative is gaining momentum in the automotive industry. This is manifested by the fact that vehicle manufacturers and Tier-1 suppliers are committed to this standard. The initiative’s main focus is on software (SW) components at implementation level. EAST-ADL2 is an Architecture Description Language, which is based on Autosar concepts and extends the initiative towards a system engineering approach for automotive embedded software.

  • modelling support for design of safety critical automotive embedded systems
    International Conference on Computer Safety Reliability and Security, 2008
    Co-Authors: Dejiu Chen, Henrik Lonn, Rolf Johansson, Yiannis Papadopoulos, Anders Sandberg, Fredrik Torner, Martin Torngren
    Abstract:

    This 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 method for developing and managing Safety Cases, and a systematic approach to model-based engineering --- the EAST-ADL2 Architecture Description Language. Three areas are highlighted: (1) System model development on different levels of abstraction. This enables fulfilling many requirements on software development as specified by ISO-CD-26262; (2) Safety Case development in close connection to the system model; (3) Analysis of mal-functional behaviour that may cause hazards, by modelling of errors and error propagation in a (complex and hierarchical) system model.

  • the east adl Architecture Description Language for automotive embedded software
    MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems, 2007
    Co-Authors: Philippe Cuenot, Henrik Lonn, Markoliver Reiser, David Servat, Ramin Tavakoli Kolagari, Patrick Frey, Rolf Johansson, Yiannis Papadopoulos, Anders Sandberg, Martin Torngren
    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.

Prabhat Mishra - One of the best experts on this subject based on the ideXlab platform.

  • Architecture Description Language (ADL)-driven software toolkit generation for architectural exploration of programmable SOCs
    2015
    Co-Authors: Prabhat Mishra
    Abstract:

    Advances in semiconductor technology permit increasingly complex applications to be realized using programmable systems-on-chips (SOCs). Furthermore, shrinking time-to-market demands, coupled with the need for product versioning through software modification of SOC platforms, have led to a significant increase in the software content of these SOCs. However, designer productivity is greatly hampered by the lack of automated software generation tools for the exploration and evalu-ation of different architectural configurations. Traditional hardware-software codesign flows do not support effective exploration and customization of the embedded processors used in programmable SOCs. The inherently application-specific nature of embedded processors and the stringent area, power, and performance constraints in embedded systems design critically require a fast and au-tomated Architecture exploration methodology. Architecture Description Language (ADL)-Driven design space exploration and software toolkit generation strategies present a viable solution to this problem, providing a systematic mechanism for a top-down design and validation of complex systems. The heart of this approach lies in the ability to automatically generate a software toolkit that includes an Architecture-sensitive compiler, a cycle-accurate simulator, assembler, debugger, and verification/validation tools. This article illustrates a software toolkit generation methodolog

  • Architecture Description Language adl driven software toolkit generation for architectural exploration of programmable socs
    Design Automation Conference, 2004
    Co-Authors: Prabhat Mishra, Aviral Shrivastava, Nikil Dutt
    Abstract:

    Advances in semiconductor technology permit increasingly complex applications to be realized using programmable systems-on-chips (SOCs). Furthermore, shrinking time-to-market demands, coupled with the need for product versioning through software modification of SOC platforms, have led to a significant increase in the software content of these SOCs. However, designer productivity is greatly hampered by the lack of automated software generation tools for the exploration and evaluation of different architectural configurations. Traditional hardware-software codesign flows do not support effective exploration and customization of the embedded processors used in programmable SOCs. The inherently application-specific nature of embedded processors and the stringent area, power, and performance constraints in embedded systems design critically require a fast and automated Architecture exploration methodology. Architecture Description Language (ADL)-Driven design space exploration and software toolkit generation strategies present a viable solution to this problem, providing a systematic mechanism for a top-down design and validation of complex systems. The heart of this approach lies in the ability to automatically generate a software toolkit that includes an Architecture-sensitive compiler, a cycle-accurate simulator, assembler, debugger, and verification/validation tools. This article illustrates a software toolkit generation methodology using the EXPRESSION ADL. Our exploration studies demonstrate the need for and usefulness of this approach, using as an example the problem of compiler-in-the-loop design space exploration of reduced instruction-set embedded processor Architectures.

  • Automatic verification of in-order execution in microprocessors with fragmented pipelines and multicycle functional units
    Proceedings 2002 Design Automation and Test in Europe Conference and Exhibition, 2002
    Co-Authors: Prabhat Mishra, Hiroyuki Tomiyama, Nikil Dutt, A. Nicolau
    Abstract:

    As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor Architectures are being employed to meet desired system performance. System architects critically need modeling techniques that allow exploration, evaluation, customization and validation of different processor pipeline configurations, tuned for a specific application domain. We propose a novel finite state machine (FSM) based modeling of pipelined processors and define a set of properties that can be used to verify the correctness of in-order execution in the presence of fragmented pipelines and multicycle functional units. Our approach leverages the system architect's knowledge about the behavior of the pipelined processor through Architecture Description Language (ADL) constructs, and thus allows a powerful top-down approach to pipeline verification. We applied this methodology to the DLX processor to demonstrate the usefulness of our approach.

  • Automatic modeling and validation of pipeline specifications driven by an Architecture Description Language [SoC]
    Proceedings of ASP-DAC VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design, 2002
    Co-Authors: Prabhat Mishra, Hiroyuki Tomiyama, Nikil Dutt, A. Halambi, P. Grun, A. Nicolau
    Abstract:

    Verification is one of the most complex and expensive tasks in the current systems-on-chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline validation, where the functionality of an existing pipelined processor is, in essence, reverse-engineered from its RT-level implementation. Our approach leverages the system architect's knowledge about the behavior of the pipelined Architecture, through Architecture Description Language (ADL) constructs, and thus allows a powerful top-down approach to pipeline validation. This paper addresses automatic validation of processor, memory, and co-processor pipelines described in an ADL. We present a graph-based modeling of Architectures which captures both structure and behavior of the Architecture. Based on this model, we present formal approaches for automatic validation of the Architecture described in the ADL. We applied our methodology to verify several realistic Architectures from different architectural domains to demonstrate the usefulness of our approach.

  • functional abstraction driven design space exploration of heterogeneous programmable Architectures
    International Symposium on Systems Synthesis, 2001
    Co-Authors: Prabhat Mishra, Nikil Dutt, Alexandru Nicolau
    Abstract:

    Rapid Design Space Exploration (DSE) of a programmable Architecture is feasible using an automatic toolkit (compiler, simulator, assembler) generation methodology driven by an Architecture Description Language (ADL). While many contemporary ADLs can effectively capture one class of Architecture, they are typically unable to capture a wide spectrum of processor and memory features present in DSP, VLIW, EPIC and Superscalar processors. The main bottleneck has been the lack of an abstraction underlying the ADL (covering a diverse set of architectural features) that permits reuse of the abstraction primitives to compose the heterogeneous Architectures. We present in this paper the functional abstraction needed to capture such wide variety of programmable Architectures. We illustrate the usefulness of this approach by specifying two very different Architectures using functional abstraction. Our DSE results demonstrate the power of reuse in composing heterogeneous Architectures using functional abstraction primitives allowing for a reduction in the time for specification and exploration by at least an order of magnitude.

Nikil Dutt - One of the best experts on this subject based on the ideXlab platform.

  • Architecture Description Language adl driven software toolkit generation for architectural exploration of programmable socs
    Design Automation Conference, 2004
    Co-Authors: Prabhat Mishra, Aviral Shrivastava, Nikil Dutt
    Abstract:

    Advances in semiconductor technology permit increasingly complex applications to be realized using programmable systems-on-chips (SOCs). Furthermore, shrinking time-to-market demands, coupled with the need for product versioning through software modification of SOC platforms, have led to a significant increase in the software content of these SOCs. However, designer productivity is greatly hampered by the lack of automated software generation tools for the exploration and evaluation of different architectural configurations. Traditional hardware-software codesign flows do not support effective exploration and customization of the embedded processors used in programmable SOCs. The inherently application-specific nature of embedded processors and the stringent area, power, and performance constraints in embedded systems design critically require a fast and automated Architecture exploration methodology. Architecture Description Language (ADL)-Driven design space exploration and software toolkit generation strategies present a viable solution to this problem, providing a systematic mechanism for a top-down design and validation of complex systems. The heart of this approach lies in the ability to automatically generate a software toolkit that includes an Architecture-sensitive compiler, a cycle-accurate simulator, assembler, debugger, and verification/validation tools. This article illustrates a software toolkit generation methodology using the EXPRESSION ADL. Our exploration studies demonstrate the need for and usefulness of this approach, using as an example the problem of compiler-in-the-loop design space exploration of reduced instruction-set embedded processor Architectures.

  • Automatic verification of in-order execution in microprocessors with fragmented pipelines and multicycle functional units
    Proceedings 2002 Design Automation and Test in Europe Conference and Exhibition, 2002
    Co-Authors: Prabhat Mishra, Hiroyuki Tomiyama, Nikil Dutt, A. Nicolau
    Abstract:

    As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor Architectures are being employed to meet desired system performance. System architects critically need modeling techniques that allow exploration, evaluation, customization and validation of different processor pipeline configurations, tuned for a specific application domain. We propose a novel finite state machine (FSM) based modeling of pipelined processors and define a set of properties that can be used to verify the correctness of in-order execution in the presence of fragmented pipelines and multicycle functional units. Our approach leverages the system architect's knowledge about the behavior of the pipelined processor through Architecture Description Language (ADL) constructs, and thus allows a powerful top-down approach to pipeline verification. We applied this methodology to the DLX processor to demonstrate the usefulness of our approach.

  • Automatic modeling and validation of pipeline specifications driven by an Architecture Description Language [SoC]
    Proceedings of ASP-DAC VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design, 2002
    Co-Authors: Prabhat Mishra, Hiroyuki Tomiyama, Nikil Dutt, A. Halambi, P. Grun, A. Nicolau
    Abstract:

    Verification is one of the most complex and expensive tasks in the current systems-on-chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline validation, where the functionality of an existing pipelined processor is, in essence, reverse-engineered from its RT-level implementation. Our approach leverages the system architect's knowledge about the behavior of the pipelined Architecture, through Architecture Description Language (ADL) constructs, and thus allows a powerful top-down approach to pipeline validation. This paper addresses automatic validation of processor, memory, and co-processor pipelines described in an ADL. We present a graph-based modeling of Architectures which captures both structure and behavior of the Architecture. Based on this model, we present formal approaches for automatic validation of the Architecture described in the ADL. We applied our methodology to verify several realistic Architectures from different architectural domains to demonstrate the usefulness of our approach.

  • functional abstraction driven design space exploration of heterogeneous programmable Architectures
    International Symposium on Systems Synthesis, 2001
    Co-Authors: Prabhat Mishra, Nikil Dutt, Alexandru Nicolau
    Abstract:

    Rapid Design Space Exploration (DSE) of a programmable Architecture is feasible using an automatic toolkit (compiler, simulator, assembler) generation methodology driven by an Architecture Description Language (ADL). While many contemporary ADLs can effectively capture one class of Architecture, they are typically unable to capture a wide spectrum of processor and memory features present in DSP, VLIW, EPIC and Superscalar processors. The main bottleneck has been the lack of an abstraction underlying the ADL (covering a diverse set of architectural features) that permits reuse of the abstraction primitives to compose the heterogeneous Architectures. We present in this paper the functional abstraction needed to capture such wide variety of programmable Architectures. We illustrate the usefulness of this approach by specifying two very different Architectures using functional abstraction. Our DSE results demonstrate the power of reuse in composing heterogeneous Architectures using functional abstraction primitives allowing for a reduction in the time for specification and exploration by at least an order of magnitude.

  • processor memory co exploration driven by a memory aware Architecture Description Language
    International Conference on VLSI Design, 2001
    Co-Authors: Prabhat Mishra, Peter Grun, Nikil Dutt, Alexandru Nicolau
    Abstract:

    Memory represents a major bottleneck in modern embedded systems. Traditionally, memory organizations for programmable systems assumed a fixed cache hierarchy. With the widening processor-memory gap, more aggressive memory technologies and organizations have appeared, allowing customization of a heterogeneous memory Architecture tuned for the application. However, such a processor-memory co-exploration approach critically needs the ability to explicitly capture heterogeneous memory Architectures. We present in this paper a Language-based approach to explicitly capture the memory subsystem configuration, and perform exploration of the memory Architecture to trade-off cost versus performance. We present a set of experiments using our Memory-Aware Architectural Description Language to drive the exploration of the memory subsystem for the TIC6211 processor Architecture, demonstrating a range of cost and performance attributes.

Henrik Lonn - One of the best experts on this subject based on the ideXlab platform.

  • model based analysis and engineering of automotive Architectures with east adl revisited
    International Journal of Conceptual Structures and Smart Applications archive, 2015
    Co-Authors: Ramin Tavakoli Kolagari, Dejiu Chen, Henrik Lonn, Markoliver Reiser, S. Torchiaro, Agnes Lanusse, Renato Librino, Nidhal Mahmud, Chokri Mraidha, Sara Tuccipiergiovanni
    Abstract:

    Modern cars have turned into complex high-technology products, subject to strict safety and timing requirements, in a short time span. This evolution has translated into development processes that are not as efficient, flexible and agile as they could or should be. This paper presents the main aspects and capabilities of a rich model-based design framework, founded on EAST-ADL. EAST-ADL is an Architecture Description Language specific to the automotive domain and complemented by a methodology compliant with the functional safety standard for the automotive domain ISO26262. The Language and the methodology are used to develop an information model in the sense of a conceptual model, providing the engineer the basis for specifying the various aspects of the system. Inconsistencies, redundancies, and partly even missing system Description aspects can be found automaticlally by advanced analyses and optimization capabilities to effectively improve development processes of modern cars.

  • EAST-ADL: An Architecture Description Language for automotive software-intensive systems
    2013
    Co-Authors: H. Blom, Henrik Lonn, F. Hagl, Y. Papadopoulos, M.-o. Reiser, C.-j. Sjöstedt, D.-j. Chen, F. Tagliabò, S. Torchiaro, S. Tucci
    Abstract:

    EAST-ADL is an Architecture Description Language (ADL) initially defined in several European-funded research projects and subsequently refined and aligned with the more recent AUTOSAR automotive standard. It provides a comprehensive approach for defining automotive electronic systems through an information model that captures engineering information in a standardized form. Aspects covered include vehicle features, requirements, analysis functions, software and hardware components, and communication. The representation of the system's implementation is not defined in EAST-ADL itself but by AUTOSAR. However, traceability is supported from EAST-ADL's lower abstraction levels to the implementation level elements in AUTOSAR. In this chapter, the authors describe EAST-ADL in detail, show how it relates to AUTOSAR as well as other significant automotive standards, and present current research work on using EAST-ADL in the context of fully-electric vehicles, the functional safety standard ISO 26262, and for multi-objective optimization.

  • from east adl to autosar software Architecture a mapping scheme
    European Conference on Software Architecture, 2011
    Co-Authors: Tahir Naseer Qureshi, Dejiu Chen, Henrik Lonn, Martin Torngren
    Abstract:

    This paper addresses the gap between models describing system requirements, functions and Architecture at a higher level of abstraction (such as SysML models), with respect to software/hardware Architecture Description (such as the AADL models) as the means to improve the development process or embedded systems. The EAST-ADL and AUTOSAR are the two focused Architecture Description formalisms in the presented work. While EAST-ADL is an Architecture Description Language providing an extension and profiling of SysML dedicated to automotive embedded systems, AUTOSAR provides means to describe software Architecture Architectures. The contribution of the paper is a relationship investigation between different concepts of the two Languages. Three case studies, of a position control, fuel control and a brake-by-wire system, have been used to support and validate the work. The resulting mapping scheme provides a basis for automated Architecture refinements and synthesis.

  • engineering support for automotive embedded systems beyond autosar
    ATZ AUTOTECHNOLOGY, 2009
    Co-Authors: Philippe Cuenot, Henrik Lonn, David Servat, Ramin Tavakoli Kolagari, Martin Torngren, Patrick Frey, Rolf Johansson, Matthias Weber
    Abstract:

    The future de-facto standard for automotive Electric/Electronic (E/E) software Architectures of the AUTomotive Open System Architecture (Autosar) initiative is gaining momentum in the automotive industry. This is manifested by the fact that vehicle manufacturers and Tier-1 suppliers are committed to this standard. The initiative’s main focus is on software (SW) components at implementation level. EAST-ADL2 is an Architecture Description Language, which is based on Autosar concepts and extends the initiative towards a system engineering approach for automotive embedded software.

  • modelling support for design of safety critical automotive embedded systems
    International Conference on Computer Safety Reliability and Security, 2008
    Co-Authors: Dejiu Chen, Henrik Lonn, Rolf Johansson, Yiannis Papadopoulos, Anders Sandberg, Fredrik Torner, Martin Torngren
    Abstract:

    This 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 method for developing and managing Safety Cases, and a systematic approach to model-based engineering --- the EAST-ADL2 Architecture Description Language. Three areas are highlighted: (1) System model development on different levels of abstraction. This enables fulfilling many requirements on software development as specified by ISO-CD-26262; (2) Safety Case development in close connection to the system model; (3) Analysis of mal-functional behaviour that may cause hazards, by modelling of errors and error propagation in a (complex and hierarchical) system model.

Dejiu Chen - One of the best experts on this subject based on the ideXlab platform.

  • model based analysis and engineering of automotive Architectures with east adl revisited
    International Journal of Conceptual Structures and Smart Applications archive, 2015
    Co-Authors: Ramin Tavakoli Kolagari, Dejiu Chen, Henrik Lonn, Markoliver Reiser, S. Torchiaro, Agnes Lanusse, Renato Librino, Nidhal Mahmud, Chokri Mraidha, Sara Tuccipiergiovanni
    Abstract:

    Modern cars have turned into complex high-technology products, subject to strict safety and timing requirements, in a short time span. This evolution has translated into development processes that are not as efficient, flexible and agile as they could or should be. This paper presents the main aspects and capabilities of a rich model-based design framework, founded on EAST-ADL. EAST-ADL is an Architecture Description Language specific to the automotive domain and complemented by a methodology compliant with the functional safety standard for the automotive domain ISO26262. The Language and the methodology are used to develop an information model in the sense of a conceptual model, providing the engineer the basis for specifying the various aspects of the system. Inconsistencies, redundancies, and partly even missing system Description aspects can be found automaticlally by advanced analyses and optimization capabilities to effectively improve development processes of modern cars.

  • Towards the Integration of EAST-ADL and UPPAAL for FormalVerification of EAST-ADL Timing Constraint Specification
    2012
    Co-Authors: Tahir Naseer Qureshi, Dejiu Chen, Magnus Persson, Martin Torngren
    Abstract:

    EAST-ADL is an Architecture Description Language developed for specifications of automotive embedded systems at multiple abstraction levels. Based on the best practices in model-based system develo ...

  • from east adl to autosar software Architecture a mapping scheme
    European Conference on Software Architecture, 2011
    Co-Authors: Tahir Naseer Qureshi, Dejiu Chen, Henrik Lonn, Martin Torngren
    Abstract:

    This paper addresses the gap between models describing system requirements, functions and Architecture at a higher level of abstraction (such as SysML models), with respect to software/hardware Architecture Description (such as the AADL models) as the means to improve the development process or embedded systems. The EAST-ADL and AUTOSAR are the two focused Architecture Description formalisms in the presented work. While EAST-ADL is an Architecture Description Language providing an extension and profiling of SysML dedicated to automotive embedded systems, AUTOSAR provides means to describe software Architecture Architectures. The contribution of the paper is a relationship investigation between different concepts of the two Languages. Three case studies, of a position control, fuel control and a brake-by-wire system, have been used to support and validate the work. The resulting mapping scheme provides a basis for automated Architecture refinements and synthesis.

  • modelling support for design of safety critical automotive embedded systems
    International Conference on Computer Safety Reliability and Security, 2008
    Co-Authors: Dejiu Chen, Henrik Lonn, Rolf Johansson, Yiannis Papadopoulos, Anders Sandberg, Fredrik Torner, Martin Torngren
    Abstract:

    This 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 method for developing and managing Safety Cases, and a systematic approach to model-based engineering --- the EAST-ADL2 Architecture Description Language. Three areas are highlighted: (1) System model development on different levels of abstraction. This enables fulfilling many requirements on software development as specified by ISO-CD-26262; (2) Safety Case development in close connection to the system model; (3) Analysis of mal-functional behaviour that may cause hazards, by modelling of errors and error propagation in a (complex and hierarchical) system model.

  • developing automotive products using the east adl2 an autosar compliant Architecture Description Language
    4th European Congress ERTS (EMBEDDED REAL TIME SOFTWARE). Toulouse France. 29 January - 1 February 2008, 2008
    Co-Authors: Philippe Cuenot, Henrik Lonn, Markoliver Reiser, David Servat, Ramin Tavakoli Kolagari, Patrick Frey, Ralf Johannson, Dejiu Chen
    Abstract:

    Current development trends in automotive softwars feature increasing standardization of the embedded software structure. But it still remains the critical issue of the overall engineering information management to control the system definition and manage its complexity. System modeling based on an Architecture Description Language (ADL) is a way to keep these assets within one information structure. The original EAST-ADL was developed in the EAST-EEA project (www.east-eea,org) and basic concepts were reused in the AUTOSAR standardization initialization initiative. The original EAST-ADL is currently refined in the ATESST project (www.atesst,org) to EAST-ADL2. This paper presents the results of the Language extension provided by the EAST-ADL2 domain model and focuses on its possible extension of the AUTOSAR standard to support decomposition of E/E automotive systems.