Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadata

https://hal.univ-lorraine.fr/tel-03335428
Contributor : Thèses Ul <>
Submitted on : Monday, September 6, 2021 - 11:12:26 AM
Last modification on : Wednesday, September 8, 2021 - 3:31:17 AM

File

DDOC_T_2021_0105_VIARD.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-03335428, version 1

Citation

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⟩

Share

Metrics

Record views

40

Files downloads

17