Model-Driven Approach for Self-Adaptive Security of Cyber-physical Systems
Approche Dirigée par les Modèles pour la Sécurité Auto-adaptative des Systèmes Cyber-physiques
Résumé
Ce travail propose approche pour la sécurité auto-adaptative dans les systèmes cyber-physiques (CPS) : architecture logicielle, méthode de conception, intégration avec la prise de décision basée sur les modèles. Notre approche permet l'évaluation du risque de sécurité (SRA), en tenant compte les aspects de qualité de service (QoS). Nous formalisons le problème de décision à résoudre à chaque cycle de la boucle de contrôle d'auto-adaptation en termes de modélisation et de résolution par programmation de contraintes (CP). Nous validons notre approche en l'appliquant aux réseaux électriques intelligents, plus particulièrement à une étude de cas industrielle fournie par RTE, le gestionnaire du réseau de transport d’électricité français.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|