Skip to Main content Skip to Navigation
Conference papers

Simulation of system architectures with AADL

Abstract : AADL is a language dedicated to the modeling of system architectures. Among all the possible analyses, verifications and other usages of such models, this article considers the simulation of the behavior of these systems. After an overview of the context and the illustration of the interest of such a simulation, it presents the development of ADeS, a simulator which aims at representing the whole behavior information provided by the AADL standard. The different behavioral aspects to be considered are presented, followed by the main technical choices of the development of ADeS and the difficulties which appeared. The article ends with consideration on the current status and the perspectives of the tool for the AADL community.
Document type :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download
Contributor : Axelle Pagnier Connect in order to contact the contributor
Submitted on : Friday, August 23, 2019 - 11:31:14 AM
Last modification on : Saturday, August 24, 2019 - 1:21:51 AM
Long-term archiving on: : Friday, January 10, 2020 - 2:46:44 AM


Files produced by the author(s)


  • HAL Id : insu-02269764, version 1



J.-F Tilman, R Sezestre, A Schyn. Simulation of system architectures with AADL. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France. ⟨insu-02269764⟩



Record views


Files downloads