french version
CES 25 – PRCI (AAPG ANR 2023)
Modeling and Verification for Secure and Performant CPS
Cyber-physical systems (CPS) are gaining a steadily increasing share of critical ecosystems and infrastructures. CPS can also be found inside autonomous vehicles, aircraft, health care equipment, the smart grid, and smart factories. Components of CPS combine analog parts such as sensors and actuators with digital control and networked software systems. The design of these systems requires the integration of a high number of system components from many different disciplines. Security and performance are of crucial importance, in the complete development-operation continuum. Tightly entangled, security and performance are not always compatible. Our objective is to define an adequate methodology to model and verify CPS with security requirements, considering trade-offs between performance, security, development and runtime.
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‑Richter, D. Genius : “Tool Support for Precise Assessment of Software Security/Performance Tradeoffs”, 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 : “Digital Twin and Digital Thread for System Security and Performance applied to an Electrical Vehicle Charging Use Case”, 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 Europe, Mar 2025, Lyon, France. ⟨hal-05029242⟩
PhD Position (no longer available)
4 to 6 months internship spring/summer 2025 (no longer available)
PostDoctoral position - 12 months (to be published end 2026 )