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 metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal-insu.archives-ouvertes.fr/insu-02269764
Contributor : Axelle Pagnier <>
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

File

ERTS2008_0009_paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : insu-02269764, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

24

Files downloads

27