É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.