Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

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].