Speaker
Mr
Regis de Ferluc
(Thales Alenia Space)
Description
Model Based FDIR process with Capella and COMPASS.
“In the past decade, Model Checking and Model Simulation techniques have been investigated and developed with better and better results in terms of efficiency and performance. For a long time, those techniques have been identified as promising to assist Safety, Dependability and FDIR engineers in their activities when dealing with complex systems such as spacecraft and satellites.
However, these techniques are rarely applied in operational projects due to major blocking points :
(i) need for detailed knowledge on the methodology and hands-on practice by prospective users,
(ii) big effort required to build a formal model of the system,
(iii) insufficient means or methodology to ensure that the modelled system matches the real system,
(iv) scarce understanding of properties to be proved,
(v) tools with shortcomings in ergonomic and interoperability with other engineering environments.
In this context, the recent deployment of Model Based System and Software Engineering practices is seen as an opportunity : instead of developing specific models for safety and FDIR analysis, it becomes possible to couple model checking and model simulation tools to System and Software engineering models.
This track has been investigated during a CNES study aiming at defining a Model Based approach for supporting the FDIR process, and some prototyping activities have allowed to couple the COMPASS toolset to Melody Advance, the Thales modelling tool now released as open-source software under the name Capella.
Based on such results, this presentation will provide an overview of what could be the future for Model Based Safety / FDIR Assessment in the Space domain.”
