Simulation of system architectures with AADL

J.-F Tilman (1) , R Sezestre (1) , A Schyn (2)

1 Geensyde
2 Axlog

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.

Mots clés: AADL; simulation; embedded systems

Domaines: Informatique [cs]; Systèmes embarqués

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⟩