Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
EAST-ADL: An Architecture-centric Approach to the Design, Analysis, Verification and Validation of Complex Embedded Systems
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0001-7048-0108
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, Oral presentation with published abstract (Refereed)
Abstract [en]

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.
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-114262DOI: 10.4230/DagRep.2.7.30OAI: oai:DiVA.org:kth-114262DiVA: diva2:588193
Conference
Architecture-Driven Semantic Analysis of Embedded Systems, Dagstuhl seminar 2012
Projects
EU MAENAD
Note

QC 20130614

Available from: 2013-01-15 Created: 2013-01-15 Last updated: 2013-06-14Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Chen, DeJiu

Search in DiVA

By author/editor
Chen, DeJiu
By organisation
Embedded Control Systems
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 61 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf