Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project

J Hugues (1) , Laurent Pautet (2) , B Zalila , P Dissaux (3) , M Perrotin (4)

1 ENST - Ecole Nationale Supérieure des Télécommunications
2 Télécom ParisTech
3 Ellidiss Technologies [Brest]
4 ESA - Agence Spatiale Européenne = European Space Agency

In this paper, we discuss the use of the AADL (Architecture Analysis and Design Language) in the IST- ASSERT project, which spans from 2004 to 2007. In the context of this project, the European Space Agency, in collaboration with tool providers and academic partners explored the use of AADL to build space systems. At the completion of the project, we provide our report and experiments on AADL for building critical systems.

Keywords: IST-ASSERT; AADL; MDD; Stood; Ocarina

Domains: Computer Science [cs]; Embedded Systems

J Hugues, Laurent Pautet, B Zalila, P Dissaux, M Perrotin. Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France. ⟨insu-02270096⟩