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

Jeremie Pouly (1) , Sylvain Jouanneau

1 CNES - Centre National d’Études Spatiales [Paris]

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.

Mots clés: UML; code generation; model simulation; RTSJ; Topcased; autonomy; satellite

Domaines: Informatique [cs]; Systèmes embarqués

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⟩