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)
FDL 2025 (work-in progress session) M. Rayon\xe2\x80\x91Richter, D. Genius : \xe2\x80\x9cTool Support for Precise Assessment of Software Security/Performance Tradeoffs\xe2\x80\x9d, 2025 Forum on Specification & Design Languages (FDL), St. Goar, Germany, pp. 1-2, (IEEE), (ISBN: 979-8-3315-9379-7) (2025)
FDL 2025 (special session) H. Heermann, J. Koch, Ch. Grimm, D. Genius, L. Apvrille, Ah. Mifdaoui, K. Schneider : \xe2\x80\x9cDigital Twin and Digital Thread for System Security and P erformance applied to an Electrical Vehicle Charging Use Case\xe2\x80\x9d, 2025 Forum on Specification & Design Languages (FDL), St. Goar, Germany, pp. 1-8 , (IEEE) (2025)
DATE 2025 Hagen Heermann, Christoph Grimm. Bridging the Gap Between Anomaly Detection and Runtime Verification: H-Classifiers. 2025 Design Automation and Test in Eur ope, Mar 2025, Lyon, France. \xe2\x9f\xa8hal-05029242\xe2\x9f\xa9