EN FR
EN FR
Bilateral Contracts and Grants with Industry
Bibliography
Bilateral Contracts and Grants with Industry
Bibliography


Section: New Results

System Engineering for Performance and Availability in satellite embedded COTS

Participants : Robert de Simone, Julien Deantoni, Amin Oueslati, Paul Bouche.

In the context of the IRT ATIPPIC project, which provided engineer position funding for Paul Bouche and Amin Oueslati, we investigated the application of a realistic formal design methodology applied on a real case study under construction by the ATIPPIC partners, in this case a prototype satellite based on general-purpose electronic Components-on-the-Shelf (COTS), not radiation-hardened. We focused on the one hand on the Model-Based Design of local interconnects, to provide analysis techniques regarding bandwidth and possible congestion of inter-process communications; on the other hand, we considered formal analysis of availability in case of fault (solar radiations), to study impact of alternative mitigation techniques for fault tolerance. Results were delivered in the form of Capella viewpoints and analysis tools to the IRT Saint-Exupéry, as free software. They were also published in [18], [23].