mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Formal Execution Semantics for Asynchronous Constructs of AADL
Mälardalens högskola, Akademin för innovation, design och teknik. (IS)ORCID-id: 0000-0002-2615-6842
Mälardalens högskola, Akademin för innovation, design och teknik. (IS)ORCID-id: 0000-0003-1844-7874
Mälardalens högskola, Akademin för innovation, design och teknik. (IS)ORCID-id: 0000-0003-0904-3712
2013 (engelsk)Inngår i: MODELS 2012 Innsbruck - Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2012, 2013, s. 43-48Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2013. s. 43-48
HSV kategori
Identifikatorer
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
Konferanse
5th International Workshop on Model Based Architecting and Construction of Embedded Systems, September 30th, 2012, Innsbruck, Austria
Tilgjengelig fra: 2012-12-20 Laget: 2012-12-20 Sist oppdatert: 2019-06-26bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Zhou, JialeJohnsen, AndreasLundqvist, Kristina

Søk i DiVA

Av forfatter/redaktør
Zhou, JialeJohnsen, AndreasLundqvist, Kristina
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 40 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf