mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Formal Execution Semantics for Asynchronous Constructs of AADL
Mälardalen University, School of Innovation, Design and Engineering. (IS)ORCID iD: 0000-0002-2615-6842
Mälardalen University, School of Innovation, Design and Engineering. (IS)ORCID iD: 0000-0003-1844-7874
Mälardalen University, School of Innovation, Design and Engineering. (IS)ORCID iD: 0000-0003-0904-3712
2013 (English)In: MODELS 2012 Innsbruck - Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2012, 2013, p. 43-48Conference paper, Published paper (Refereed)
Abstract [en]

The Architecture Analysis and Design Language (AADL) has been widely accepted to support the development process of Distributed Real-time and Embedded (DRE) systems and ease the tension of analyzing the systems’ non-functional properties. The AADL standard prescribes the dispatching and scheduling semantics for the thread components in the system using natural language. The lack of formal semantics limits the possibility to perform formal verification of AADL specifications. The main contribution of this paper is a mapping from a substantial asynchronous subset of AADL into the TASM language, allowing us to perform resource consumption and schedulability analysis of AADL models. A small case study is presented as a validation of the usefulness of this work.

Place, publisher, year, edition, pages
2013. p. 43-48
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-17435DOI: 10.1145/2432631.2432639ISI: 000395805800008Scopus ID: 2-s2.0-84874136949OAI: oai:DiVA.org:mdh-17435DiVA, id: diva2:579766
Conference
5th International Workshop on Model Based Architecting and Construction of Embedded Systems, September 30th, 2012, Innsbruck, Austria
Available from: 2012-12-20 Created: 2012-12-20 Last updated: 2019-06-26Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Zhou, JialeJohnsen, AndreasLundqvist, Kristina

Search in DiVA

By author/editor
Zhou, JialeJohnsen, AndreasLundqvist, Kristina
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • 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