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

https://hal.archives-ouvertes.fr/hal-02263382
Contributor : Axelle Pagnier <>
Submitted on : Sunday, August 4, 2019 - 5:34:31 PM
Last modification on : Wednesday, August 7, 2019 - 1:23:37 AM

File

5A-2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02263382, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

2

Files downloads

1