%0 Conference Proceedings %T Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project %+ Ecole Nationale Supérieure des Télécommunications (ENST) %+ Télécom ParisTech %+ Ellidiss Technologies [Brest] %+ Agence Spatiale Européenne = European Space Agency (ESA) %A Hugues, J %A Pautet, Laurent %A Zalila, B %A Dissaux, P %A Perrotin, M %< avec comité de lecture %( ERTS 2008 proceedings %B Embedded Real Time Software and Systems (ERTS2008) %C toulouse, France %8 2008-01-29 %D 2008 %K IST-ASSERT %K AADL %K MDD %K Stood %K Ocarina %Z Computer Science [cs] %Z Computer Science [cs]/Embedded SystemsConference papers %X 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. %G English %2 https://insu.hal.science/insu-02270096/document %2 https://insu.hal.science/insu-02270096/file/ERTS2008_0039_paper.pdf %L insu-02270096 %U https://insu.hal.science/insu-02270096 %~ INSU %~ INSTITUT-TELECOM %~ ENST %~ TELECOM-PARISTECH %~ PARISTECH %~ LTCI %~ INFRES %~ ACES %~ ERTS2008