Change search
ReferencesLink to record
Permanent link

Direct link
An architectural approach to the analysis, verification and validation of software intensive embedded systems
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0001-7048-0108
Volvo Group Trucks Technology.ORCID iD: 0000-0001-5703-5923
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.
Volvo Group Trucks Technology.
Show others and affiliations
2013 (English)In: Computing, ISSN 0010-485X, E-ISSN 1436-5057, Vol. 95, no 8, 649-688 p.Article 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.

Place, publisher, year, edition, pages
2013. Vol. 95, no 8, 649-688 p.
Keyword [en]
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
URN: urn:nbn:se:kth:diva-119864DOI: 10.1007/s00607-013-0314-4ISI: 000322708600002ScopusID: 2-s2.0-84881369480OAI: diva2:612783
MAENAD (EU FP7, Grant 260057), DFEA2020 (VINNOVA, Grant 2009-00629), and MBAT (ARTEMIS-JU, Grant 269335).
EU, FP7, Seventh Framework Programme, 260057Vinnova, 2009-00629

QC 20130909

Available from: 2013-03-25 Created: 2013-03-25 Last updated: 2013-09-09Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Chen, DeJiuFeng, LeiNaseer Qureshi, Tahir
By organisation
Embedded Control Systems
In the same journal
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 97 hits
ReferencesLink to record
Permanent link

Direct link