Une approche formelle pour la modélisation d’architectures de haut niveau de systèmes complexes alignées avec les modèles d’exigences
Auteur / Autrice : | Racem Bougacha |
Direction : | Simon Collart-Dutilleul, Régine Laleau |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique et applications |
Date : | Soutenance le 07/07/2023 |
Etablissement(s) : | Centrale Lille Institut |
Ecole(s) doctorale(s) : | Ecole doctorale Mathématiques, sciences du numérique et de leurs interactions (Lille ; 2021-....) |
Partenaire(s) de recherche : | Laboratoire : Institut national de recherche sur les transports et leur sécurité (France). Unité de recherche Evaluation des systèmes de transports automatisés et de leur sécurité - Évaluation des Systèmes de Transports Automatisés et de leur Sécurité / IFSTTAR/COSYS/ESTAS |
Jury : | Président / Présidente : Sophie Ebersold |
Examinateurs / Examinatrices : Simon Collart-Dutilleul, Régine Laleau, Christian Attiogbé, Iulian Ober, Akram Idani, Sana Debbech | |
Rapporteurs / Rapporteuses : Christian Attiogbé, Iulian Ober |
Mots clés
Résumé
Les systèmes complexes sont un ensemble de sous-systèmes reliés entre eux pour représenter un tout intégré. La conception de tels systèmes devrait représenter les interactions entre leurs sous-systèmes. Pour y parvenir, des modèles graphiques sont généralement recommandés pour spécifier, visualiser, comprendre et documenter le système de manière simple. Cependant, lorsque on considère des systèmes critiques pour la sureté où les conséquences d'une défaillance entraînent des pertes de vie, des dommages matériels ou environnementaux importants, les langages graphiques ne sont pas suffisants car ils sont semi-formels et ne permettent pas un raisonnement formel et rigoureux nécessaires pour vérifier les propriétés de sûreté et de sécurité. Enfin, la qualité d'un système dépend de la mesure dans laquelle il répond à ses exigences. La traçabilité des exigences est largement reconnue comme un élément crucial de tout processus de développement de système rigoureux, en particulier pour la conception de systèmes complexes critiques.Pour répondre à ces enjeux, la thèse vise à définir une approche d'alignement entre les modèles d'exigences et les modèles d'architecture de haut niveau pour les systèmes complexes critiques, permettant ainsi de spécifier des liens de traçabilité entre ces deux entités et de garantir que les modèles d'architecture de haut niveau satisfont les besoins requis des parties prenantes. Ceci est réalisé en utilisant des spécifications formelles pour vérifier d'une part l'exactitude et la cohérence des modèles d'architecture de haut niveau et d'autre part la cohérence des liens d'alignement établis