Skip to Main content Skip to Navigation

Méthodes et outils pour la programmation des systèmes cyber-physiques

Louis Viard 1 
1 SIMBIOT - SIMulating and Building IOT
LORIA - NSS - Department of Networks, Systems and Services
Abstract : Building cyber-physical systems is an up-and-coming discipline which involves many engineering domains. Cyber-physical systems have a controller monitoring their physical behaviour, resulting in intertwined discrete and continuous evolution. Faulty programs or environmental hazards might lead to unwanted control and disastrous consequences. Safe operation of cyber-physical systems requires to pay dedicated attention to their programming. Our work attempts to provide a solution to this challenge. We present a domain specific language for programming cyber-physical systems, Sophrosyne, as well as a formal method to verify the correction of the resulting missions. The language is based on monitoring control structures, which provide reactive behaviours to the system. It furthermore includes continuous modelling of the system with differential equations to enable verification of missions using differential dynamic logic. Various softwares have been built to provide Sophrosyne with mission planification, compilation, analysis, and execution. Together they form a complete toolchain from a graphical user interface supporting the definition of a mission to its execution on the real system. These tools have been used to define aerial inspections of infrastructure with unmanned aircraft. We demonstrate our contribution on such applications.
Document type :
Complete list of metadata
Contributor : Thèses UL Connect in order to contact the contributor
Submitted on : Monday, September 6, 2021 - 11:12:26 AM
Last modification on : Saturday, October 16, 2021 - 11:26:10 AM
Long-term archiving on: : Tuesday, December 7, 2021 - 6:31:23 PM


Files produced by the author(s)


  • HAL Id : tel-03335428, version 1


Louis Viard. Méthodes et outils pour la programmation des systèmes cyber-physiques. Informatique [cs]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0105⟩. ⟨tel-03335428⟩



Record views


Files downloads