EAST-ADL: An Architecture-centric Approach to the Design, Analysis, Verification and Validation of Complex Embedded Systems
2012 (English)In: Architecture-Driven Semantic Analysis of Embedded Systems, Dagstuhl Reports, Vol. 2, Issue 7 / [ed] Feiler, Peter ; Hugues, Jérôme ; Sokolsky, Oleg, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2012, 34-34 p.Conference paper, Abstract (Refereed)
EAST-ADL is a domain specific Architecture Description Language (ADL) for safety-criticaland software-intensive embedded systems. The language enables a formalized and traceabledescription of a wide range of engineering concerns throughout the entire lifecycle of systems.This makes it possible to fully utilize the leverage of state-of-the-art methods and tools forthe development of correct-by-construction system functions and components in a seamlessand cost efficient way.This talk focuses on the recent advances of EAST-ADL in supporting the description,analysis, verification&validation of complex embedded systems for the purposes of require-ments engineering, application design, and safety engineering. The approach is architecturecentric as all behavior descriptions are formalized and connected to a set of standardizeddesign artifacts existing at multiple levels of abstraction. This talk presents the languagedesign, its theoretical underpinning and tool implementation. From a bigger perspective, thecontribution makes it possible for embedded system and software developers to maintainvarious engineering concerns coherently, while exploiting mature state-of-the-art technologiesfrom computer science and other related domains for a model-based design.
Place, publisher, year, edition, pages
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2012. 34-34 p.
IdentifiersURN: urn:nbn:se:kth:diva-114262DOI: 10.4230/DagRep.2.7.30OAI: oai:DiVA.org:kth-114262DiVA: diva2:588193
Architecture-Driven Semantic Analysis of Embedded Systems, Dagstuhl seminar 2012
QC 201306142013-01-152013-01-152013-06-14Bibliographically approved