Approche Dirigée par les Modèles pour la Sécurité Auto-adaptative des Systèmes Cyber-physiques - CTRL-A : ConTRoL for safe Autonomic computing systems
Communication Dans Un Congrès Année : 2024

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.
Fichier principal
Vignette du fichier
AFADL_2024.pdf (212.19 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04604995 , version 1 (07-06-2024)

Licence

Identifiants

  • HAL Id : hal-04604995 , version 1

Citer

Salim Chehida, Eric Rutten, Guillaume Giraud, Stéphane Mocanu. Approche Dirigée par les Modèles pour la Sécurité Auto-adaptative des Systèmes Cyber-physiques. AFADL 2024 - Journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2024, Strabourg, France. pp.1-4. ⟨hal-04604995⟩
72 Consultations
36 Téléchargements

Partager

More