Méthodes et outils pour la programmation des systèmes cyber-physiques
Methods and tools for cyber-physical systems programming
Jury
Directeur de these - MOREAU - Pierre-Etienne - Université de Lorraine
Rapporteur - CUCU-GROSJEAN - Liliana - INRIA de Paris
Rapporteur - AIT-AMEUR - Yamine - INPT-ENSEEIHT/IRIT
Examinateur - MERY - Dominique - Université de Lorraine
CoDirecteur de these - CIARLETTA - Laurent - Université de Lorraine
Examinateur - DESPAUX - François - Alérion
école doctorale
IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES
Laboratoire
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Mention de diplôme
Informatique
B002
Campus Artem - CS 14 234, 92 Rue Sergent Blandan, 54042 Nancy
Mots clés
Drones,Méthodes Formelles,Systèmes Cyber-Physiques,
Résumé de la thèse
La conception de systèmes cyber-physiques est une discipline émergente à l'interface de nombreux domaines d'ingénierie.
Ces systèmes se caractérisent notamment par une identité double, liant le monde des contrôleurs, discret, à celui du matériel, continu.
Les errements d'un contrôleur, qu'ils soient dus à un programme erroné ou à la manifestation d'un aléa de l'environnement, sont susceptibles de produire des conséquences désastreuses.
Une attention particulière doit donc être apportée à leur programmation.
Le travail présenté dans cet ouvrage est une réponse à ce défi.
Nous proposons un lang
Keywords
Unmanned Aerial Systems,Formal Methods,Cyber-Physical Systems,
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 wel
