Model-based specification of the flight software of an autonomous satellite

Abstract : In the framework of the AGATA program, we applied a model-based development process founded on a living UML specification to produce the RT-Java code of the AGATA onboard software. Derived from classical V-shaped production cycle, our development process benefited from several model-based engineering methods, such as model-debugging and automated code generation. Our resulting Y-shaped production cycle enabled an incremental development process that allowed us to start software validation early in the process. Despite the complexity of the AGATA onboard software we thereby manage to achieve its functional validation and were able to evaluate RT-Java (Real-Time Java Specification-RTSJ) for real-time space applications.
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download
Contributor : Axelle Pagnier <>
Submitted on : Sunday, August 4, 2019 - 5:34:31 PM
Last modification on : Wednesday, August 7, 2019 - 1:23:37 AM


Files produced by the author(s)


  • HAL Id : hal-02263382, version 1



Jeremie Pouly, Sylvain Jouanneau. Model-based specification of the flight software of an autonomous satellite. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02263382⟩



Record views


Files downloads