Skip to Main content Skip to Navigation
Conference papers

Handling Breakdowns in Unmanned Aircraft Systems

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

Cited literature [9 references]  Display  Hide  Download
Contributor : Ariane Piel Connect in order to contact the contributor
Submitted on : Thursday, October 23, 2014 - 3:14:57 PM
Last modification on : Saturday, June 25, 2022 - 8:54:47 PM
Long-term archiving on: : Saturday, January 24, 2015 - 10:41:07 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads