3 papers
eess.SY2025
An Extended Survey and a Comparison Framework for Dataflow Models of Computation and Communication
Guillaume Roumage, Selma Azaiez, Cyril Faure +1
Dataflow Model of Computation and Communications (DF MoCCs) is a formalism used to specify the behavior of Cyber-Physical Systems (CPSs). DF MoCCs are widely used in the design of…
eess.SY2025
The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model
Guillaume Roumage, Selma Azaiez, Cyril Faure +1
Ingenuity is an autonomous Cyber-Pysical System (CPS) that has successfully completed more than 70 flights over Mars between 2021 and 2024. Ensuring the safety of its mission is pa…
eess.SY2025
Real-time Mode-Aware Dataflow: A Dataflow Model to Specify and Analyze Mode-dependent CPSs under Relaxed Timing Constraints
Guillaume Roumage, Selma Azaiez, Cyril Faure +1
Modern Cyber-Physical Systems (CPS) often exhibit both relaxed real-time constraints and a mode-dependent execution. Relaxed real-time constraints mean that only a subset of the pr…