Skip to Main content Skip to Navigation
Conference papers

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

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal-insu.archives-ouvertes.fr/insu-02270096
Contributor : Axelle Pagnier <>
Submitted on : Friday, August 23, 2019 - 6:13:18 PM
Last modification on : Monday, August 3, 2020 - 4:48:02 PM
Long-term archiving on: : Friday, January 10, 2020 - 4:28:34 AM

File

ERTS2008_0039_paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : insu-02270096, version 1

Citation

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⟩

Share

Metrics

Record views

15

Files downloads

20