Évolution dirigée par les modèles pour les systèmes sécurisés – MODES
Le projet MODES se concentre sur l'évolution sécurisée de systèmes complexes à logiciel prépondérant (usines intelligentes, systèmes Cloud, IoT et IA, par exemple) qui fonctionnent dans des environnements incertains et en constante évolution. Tout système peut avoir besoin de revoir sa sécurité par rapport à un ensemble d'événements d'évolution, y compris: l'émergence de nouvelles exigences fonctionnelles et non fonctionnelles; les changements de contexte d'exécution; changements de configuration; La gestion de telles évolutions nécessite de passer de l'évolution opportuniste de certains artefacts de sécurité isolés à un processus d'évolution planifiée capable de prendre en compte compte le système dans son ensemble. Je propose un processus d'évolution basé sur les modèles capable de synchroniser les modifications liées à la sécurité sur les différents artefacts, de calculer les impacts sur les propriétés de sécurité et de proposer des contre-mesures.
Coordination du projet
Salvador MARTÍNEZ (Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance)
L'auteur de ce résumé est le coordinateur du projet, qui est responsable du contenu de ce résumé. L'ANR décline par conséquent toute responsabilité quant à son contenu.
Partenaire
LAB-STICC Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance
Aide de l'ANR 270 697 euros
Début et durée du projet scientifique :
février 2024
- 48 Mois