Adresse :
Madame Chahrazed Boudjemila du département informatique et du LabSTICC, présentera ses travaux de recherche sur le sujet :
"Évolution Continue et Sécurisée de Modèles lors du Développement Logiciel"
Résumé : L'ingénierie dirigée par les modèles favorise le développement de systèmes complexes en utilisant un ensemble de modèles. Ces modèles sont conformes à différents langages et sont construits à l'aide de divers outils, ce qui conduit à un système multi-modèle. Comme ces modèles représentent le système en cours de développement, il existe souvent des dépendances entre eux. Cependant, ce système multi-modèle évolue pour répondre à de nouvelles exigences, corriger des bogues, etc.
Ces changements représentent un défi en ce qui concerne leur cohérence et sont encore plus critiques lorsqu'il s'agit d'exigences de sécurité. En effet, selon le principe du "security-by-design", la sécurité a été intégrée dans les modèles dès les premières phases de développement. Par conséquent, elle doit également être maintenue lors de l'évolution des modèles afin d'éviter les problèmes de sécurité potentiels.
Cette thèse propose une méthodologie pour maintenir la cohérence de la sécurité entre les modèles. Elle se repose sur la fédération de modèles pour établir des correspondances explicites entre les éléments du méta-modèle et les enrichir de règles de sécurité. Ces règles peuvent être (ré)évaluées lorsque les modèles changent, ce qui permet de déterminer si une modification a un impact sur la cohérence de la sécurité. La méthodologie a été appliquée avec succès à plusieurs cas d'études et elle a été implémentée en utilisant des outils existants.
Organisateur(s)
Dans le cadre de la co-accréditation de thèse d’IMT Atlantique au sein de l'école doctorale SPIN
Mots-clés : Ingénierie dirigée par les modèles, multi-modèles, sécurité par conception, cohérence de la sécurité, fédération de la sécurité