logo EDITE Sujets de doctorat

Nouvelle Approche Globale par Composants AADL pour le Développement des Systèmes Adaptatifs de Contrôle Industriel

Résumé rédigé par
Directeur de thèse:
Doctorant: Farid ADAILI
Unité de recherche ? 0 Laboratoire inconnu!

Projet

L’objectif de cette thèse en Informatique est de proposer une approche globale intitulée RA2DL pour le développement d’une architecture temps-réel logicielle et matérielle reconfigurable dédiée aux CPSs en AADL. La reconfiguration est une opération souvent utile permettant la modification des composants logiciels et matériels afin de les adapter dynamiquement à l’environnement et basculer dans un mode sécurisé en cas de besoin. En effet, dans un système de contrôle qui interagit avec le monde physique, nous devons être capables de : - comprendre les conséquences d’une attaque sur le système de contrôle mais aussi sur le monde physique ; - de concevoir des algorithmes de détection d’attaques grâce à une bonne maîtrise du comportement du processus physique face aux commandes du système de contrôle et des données captées ; - et de concevoir des architectures qui soient résistantes à ces attaques et capables de reconfigurer les composants pour augmenter la résilience du système. Notre objectif est de définir une nouvelle forme de composants temps-réel RA2DL à partir d’AADL qui peuvent encoder plusieurs comportements relatifs à plusieurs scénarios de reconfiguration. Dans ce cas, un composant logiciel ou matériel sera la superposition de plusieurs sous-composants de même nature mais avec différentes configurations ou caractéristiques au niveau des interfaces ou des implémentations plus ou moins sécurisées