Les travaux sur les méthodes d’analyse peuvent se nourrir – et être appliqués à – des problématiques issues de nos autres thèmes de recherche, notamment autour des systèmes autonomes. Ils portent principalement sur le test du logiciel [1], la théorie de la modélisation et de la simulation [2], et les argumentaires de sécurité basés sur la théorie de la croyance [3].

Un point fort est également l’intégration de nos méthodes d’analyse formelle au sein d’approches d’ingénierie basées modèles, telles que le Model-Based System Engineering (MBSE) et le Model-Based Safety Analysis (MBSA) [4,5]. Ce type d’approches basées modèles est au coeur de nos travaux sur les processus d’ingénierie. Nous nous intéressons à leur déploiement dans l’industrie, appuyé par des propositions méthodologiques et un outillage adapté [6,7]. Les processus étudiés concernent non seulement la phase de développement des systèmes, mais également leur maintien en opération [8], ainsi que leur fin de vie via la gestion de leur obsolescence [9]. Ce dernier sous-thème, récemment lancé, ouvre sur l’élaboration de nouveaux principes de conception résiliente à l’obsolescence, et sur l’étude des liens entre obsolescence, sûreté et maintenabilité.

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.