Le 7 juillet dernier, Racem BOUGACHA a soutenu sa thèse de doctorat de l’Ecole Centrale de Lille intitulée « une approche formelle pour la modélisation d’architectures de haut niveau de systèmes complexes alignées avec les modèles d’exigences ».
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 l’on considère des systèmes critiques pour la sûreté 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 a permis de 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. Ce travail a été 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.
Cette thèse s’est déroulée au sein de l’IRT RAILENIUM en partenariat avec le Laboratoire ESTAS de l’Université Gustave Eiffel et le laboratoire LACL de l’Université Paris-Est Créteil.
Nous félicitons chaleureusement Racem et lui souhaitons le meilleur pour la suite de sa carrière professionnelle.