System assurance

This theme covers research into analysis methods and engineering processes for trustworthy systems, often under the constraints of quality standards and certification.


Work on analysis methods can feed into - and be applied to - problems arising in our other research topics, especially those related to autonomous systems. The contributions mainly concern software testing [1], modeling and simulation theory [2], and safety arguments based on belief theory [3].

Another contribution is the integration of our formal analysis methods into model-based engineering approaches, such as model-based systems engineering (MBSE) and model-based safety analysis (MBSA) [4,5]. This type of model-based approach is the focus of our work on engineering processes. We are interested in their use in industry, supported by methodological proposals and adapted tools [6,7]. The processes studied cover not only the development phase of systems, but also their maintenance in operation [8], as well as their end-of-life via obsolescence management [9]. This latter sub-theme, recently launched, opens the way to the development of new obsolescence-resilient design principles and to the study of the relationships between obsolescence, safety, and maintainability.

Références

[1] Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet, "Pairwise testing revisited for structured data with constraints", Proc. 16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), pp. 199-209, 2023.

[2] Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa, "Benchmarking formalisms for dynamic structure system Modeling and Simulation", Modélisation des Systèmes Réactifs (MSR’23), 2023.

[3] Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet, "Confidence assessment in safety argument structure - Quantitative vs. qualitative approaches", International Journal of Approximate Reasoning, vol. 165, 2024.

[4] Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier, "A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica", Proc. 18th International Conference on Formal Engineering Methods (IMBSA), LNCS vol. 10437, 2017.

[5] Alexandre Albore, Silvano Dal Zilio, Marie de Roquemaurel, Christel Seguin, Pierre Virelizier. "Timed Formal Model and Verification of Satellite FDIR in Early Design Phase", Proc. 9th European Congress on Embedded Real Time Software and Systems (ERTS), 2018.

[6] Yandika Sirgabsou, Claude Baron, Laurent Pahun, Philippe Esteban, "Model-driven engineering to ensure automotive embedded software safety. Methodological proposal and case study", Computers in Industry, vol. 138, 2022.

[7] Claude Baron, Lorenzo Grenier, Vitalina Ostapenko, Rui Xue, "Using the ARCADIA/Capella Systems Engineering Method and Tool to Design Manufacturing Systems - Case Study and Industrial Feedback", Systems, vol. 11, no. 8, 2023.

[8] Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, Sebastien Guilmeau, Christophe Ducamp, "Toward an Operations-Dedicated Model for Space Systems", Journal of Aerospace Information Systems, vol. 20, no. 4, pp. 168-180, 2023.

[9] Sophia Salas Cordero, Marc Zolghadri, Rob A. Vingerhoeds, Claude Baron, "Identification and Assessment of Obsolescence in the Early Stages of System Design", Journal of Integrated Design and Process Science, vol. 24, no. 3-4, pp. 15-33, 2020.