Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

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

(1) , (2) , , (3) , (4)
1
2
3
4

Abstract

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.
Fichier principal
Vignette du fichier
ERTS2008_0039_paper.pdf (241.8 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : insu-02270096 , version 1

Cite

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⟩
27 View
20 Download

Share

Gmail Facebook Twitter LinkedIn More