Research Interests

I work on the definition of sound models and tools, based on using logical time and polychronous formalisms, for the design of safe and trustworthy cyber-physical systems and intelligent transportation systems:

• Polychronous models: The Clock Constraint Specification Language
• High-level modeling (UML / MARTE / SysML),
• Transformation and Analysis, code generation for embedded execution platforms.
• Verification

PhD students

• 2022-2024
  • Pavlo Tokariev, Modular Real-Time Clock Constraint Specification Language, Dec. 13^th 2024
• 2019-2022 [CIFRE Renault Software Labs]
  • Joelle Abou Faysal, Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs, June 9^th 2022.
• 2018-2022 [With: L. Apvrille]
  • Hui Zhao, Multi-view Design for Cyber-Physical Systems, March 22^nd2022.
• 2018-2021 [With: J. DeAntoni, CIFRE SAFRAN]
  • Giovanni Liboni, Co-simulation de systèmes complexes avec le framework CoSim20 : pour des co-simulations distribuées performantes et fidèles, Apr. 21^th 2021
• 2011-2016 [With: Pr. LIU Jing (刘静)]
  • Ying LIN, Modeling, analysis, and verification for Cyber-Physical Systems based on clock and signal constraints, May 25^th 2016, Shanghai.
• 2013-2016 [With: J. DeAntoni]
  • Matias Vara-Larsen, BCoOL: The Behavioral Coordination Operator Language, Apr. 11^th 2016
• 2010-2013 [With: J. DeAntoni]
  • Carlos Gomez-Cardenaz, Modeling Functional and Non-Functional Properties of Systems Based on a Multi-View Approach, Dec. 20^th 2013
• 2007-2010 [With: C. André]:
  • Aamir Mehmood-Khan, Model-Based Design for On-Chip Systems: using and extending Marte and IP-Xact, March 11 ^th 2010