Open this publication in new window or tab >>Show others...
2013 (English)In: Computing, ISSN 0010-485X, E-ISSN 1436-5057, Vol. 95, no 8, p. 649-688Article in journal (Refereed) Published
Abstract [en]
EAST-ADL is a domain specific Architecture Description Language (ADL) for safety-critical and software-intensive embedded systems. The language allows a formalized and traceable description of a wide range of engineering concerns throughout the entire lifecycle of system development. This makes it possible to fully utilize the leverage of state-of-the-art methods and tools for the development of correct-by-construction system functions and components in a seamless and cost efficient way. This paper focuses on the recent advancement of EAST-ADL in supporting an architecture-centric analysis, verification&validation of complex behaviors for the purposes of requirements engineering, application design, and safety engineering. The approach is architecture centric because all behavior descriptions are formalized and connected to a set of standardized design artifacts sitting at multiple levels of abstractions. We present the language design to support this, the theoretical underpinning and tool implementation. To show the capability of EAST-ADL, we also introduce an algorithm and its implementation for transforming the EAST-ADL behavior models to SPIN models for logic model checking. Exploiting mature state-of-the-art technologies from computer science, electronic engineering, and other related domains for a model-based incremental system development, the contribution enables the developers of embedded systems and software to maintain various engineering concerns coherently using EAST-ADL.
Keywords
EAST-ADL, Embedded system (ES), Model-based development (MBD), Architecture description language (ADL), Analytical modeling, Model transformation, Model checking, AUTOSAR, ISO26262
National Category
Embedded Systems
Identifiers
urn:nbn:se:kth:diva-119864 (URN)10.1007/s00607-013-0314-4 (DOI)000322708600002 ()2-s2.0-84881369480 (Scopus ID)
Projects
MAENAD (EU FP7, Grant 260057), DFEA2020 (VINNOVA, Grant 2009-00629), and MBAT (ARTEMIS-JU, Grant 269335).
Funder
EU, FP7, Seventh Framework Programme, 260057Vinnova, 2009-00629
Note
QC 20130909
2013-03-252013-03-252024-03-18Bibliographically approved