Formal execution semantics for asynchronous constructs of AADL

Jiale Zhou, Andreas Johnsen, Kristina Lundqvist
2012 Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems - ACES-MB '12  
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
more » ... n 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.
doi:10.1145/2432631.2432639 dblp:conf/models/ZhouJL12 fatcat:dobmrvanirfhfg3adopj5tmu6y