Perla TANNOURY : "CPS development, combining SysML models, REO coordination connectors, and formal approaches"

Abstract : Modeling and validating cyber-physical systems (CPS) present significant challenges due to their heterogeneous composition and stringent timing requirements. These systems integrate physical components with cyber elements, interacting through sensing and actuation mechanisms, which complicates the development of unified modeling frameworks. Interoperability among diverse CPS components is crucial for system functionality, particularly in safety-critical applications such as train control systems. This thesis proposes a comprehensive CPS modeling framework that encompasses system requirements, architecture, interaction protocols, and behavioral aspects while adhering to strict timing constraints. The first contribution introduces ``SysReo", a modeling language that combines SysML and Reo to support incremental CPS design, enhancing system structure modeling and communication protocol robustness. The second contribution presents a formal verification method using SysReo Sequence Diagrams (SysReo SD) to validate CPS behavior against specified properties, reducing design errors and ensuring system correctness. The third contribution introduces ``Timed SysReo", which extends SysML with Timed Reo to model timed interactions in CPS, crucial for real-time applications like Smart Medical Bed (SMB) systems. The fourth contribution presents an approach using Timed SysReo Sequence Diagrams (TSRSD) to model and verify timed interactions among CPS components, ensuring adherence to critical timing requirements using Timed Constraint Automata (TCA) and Timed Scheduled-Data-Stream Logic (TSDSL). This thesis establishes a robust methodology for modeling, designing, and verifying CPS components, enhancing system reliability.
and safety.

Jury Composition :

M. Ahmed HAMMAD Maîtresse de conférences, Université Bourgogne Franche-Comté, PhD Director
M. Christian ATTIOGBE Professeur des universités Univeristé de Nantes Reporter
M. Simon BLIUDZE Chargé de recherche Université de Lille Reporter
Mme Rabéa AMEUR-BOULIFA, Professeur des universités Univeristé de Télécom Paris, Reviewer
Mme Olga KOUCHNARENKO, Professeur des universités, Université Bourgogne Franche-Comté, Reviewer
M. Pierre-Cyrille HEAM Professeur des universités, Université Bourgogne Franche-Comté Examinateur

Localization : Salle des Actes, UFR Sciences et Techniques, 16, Route de Gray