An architectural approach to the analysis, verification and validation of software intensive embedded systems
2013 (English)In: Computing, ISSN 0010-485X, E-ISSN 1436-5057, Vol. 95, no 8, 649-688 p.Article in journal (Refereed) Published
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.
Place, publisher, year, edition, pages
2013. Vol. 95, no 8, 649-688 p.
EAST-ADL, Embedded system (ES), Model-based development (MBD), Architecture description language (ADL), Analytical modeling, Model transformation, Model checking, AUTOSAR, ISO26262
IdentifiersURN: urn:nbn:se:kth:diva-119864DOI: 10.1007/s00607-013-0314-4ISI: 000322708600002ScopusID: 2-s2.0-84881369480OAI: oai:DiVA.org:kth-119864DiVA: diva2:612783
ProjectsMAENAD (EU FP7, Grant 260057), DFEA2020 (VINNOVA, Grant 2009-00629), and MBAT (ARTEMIS-JU, Grant 269335).
FunderEU, FP7, Seventh Framework Programme, 260057Vinnova, 2009-00629
QC 201309092013-03-252013-03-252013-09-09Bibliographically approved