Modélisation et Vérification pour CPS Sécurisés et Performants – MoVe4SPS

Les systèmes cyber-physiques (CPS) sont en train de gagner une part croissante d'écosystèmes et d'infrastructures critiques. CPS sont également présents dans des véhicules autonomes, des avions, des équipements médicaux, et des réseaux électriques et usines intelligentes. Composants des CPS combinent parties analogiques tels que capteurs et actionneurs avec un contrôle numérique et des systèmes logiciels sur réseau. La conception de ces systèmes nécessite l'intégration d'un grand nombre de composants système de disciplines très diverses.
La sécurité et la performance sont d'importance cruciale dans le continuum développement-exécution. Étroitement imbriquées, elles ne sont pas toujours conciliables. Notre objectif est la définition d'une méthodologie adéquate de modélisation et vérification des CPS avec des contraintes de sécurité, prenant en compte les compromis entre performance, sécurité, développement et exécution.