version anglophone
CES 25 – PRCI (AAPG ANR 2023)
Modélisation et Vérification pour CPS Sécurisés et Performants
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.
LTCI Laboratoire Traitement et Communication de l'Information (Prof. Ludovic Apvrille)
LIP6 Laboratoire d'Informatique, Sorbonne Université, anciennement Paris-VI (Dr. Daniela Genius)
DISC Département d'Ingénierie des Systèmes Complexes (Prof. Ahlem Mifdaoui)
RPTU - CPS
Lehrstuhl "Entwicklung Cyber-Physischer Systeme" (Prof. Christoph Grimm)
RPTU - ES Embedded Systems Group (Prof. Klaus Schneider)