Handling Breakdowns in Unmanned Aircraft Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Handling Breakdowns in Unmanned Aircraft Systems


This work is devoted to activity recognition in the setting of data analysis in aeronautics. Formal methods are applied to the cer-tification and safety analysis processes of Unmanned Aircraft Systems in breakdown situations. The behaviour of these systems in case of a failure is entirely modeled and implemented. A temporal language — the Chronicle language — describes arrangements of events which are employed to detail undesired circumstances that would lead to breaches in safety. A C++ chronicle recognition tool is used to recognise all the possible occurrences of these situations as soon as they occur.
Fichier principal
Vignette du fichier
FM-Doctoral-symposium.pdf (674.25 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01076941 , version 1 (23-10-2014)


  • HAL Id : hal-01076941 , version 1


Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel. Handling Breakdowns in Unmanned Aircraft Systems. FM - Doctoral Symposium, Aug 2012, Paris, France. ⟨hal-01076941⟩
339 View
97 Download


Gmail Facebook X LinkedIn More