Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project - INSU - Institut national des sciences de l'Univers Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

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

Résumé

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.

Mots clés

Fichier principal
Vignette du fichier
ERTS2008_0039_paper.pdf (241.8 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

insu-02270096 , version 1 (23-08-2019)

Identifiants

  • HAL Id : insu-02270096 , version 1

Citer

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⟩
38 Consultations
40 Téléchargements

Partager

Gmail Facebook X LinkedIn More