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 metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-01076941
Contributor : Ariane Piel <>
Submitted on : Thursday, October 23, 2014 - 3:14:57 PM
Last modification on : Tuesday, March 26, 2019 - 2:24:42 PM
Long-term archiving on : Saturday, January 24, 2015 - 10:41:07 AM

File

FM-Doctoral-symposium.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01076941, version 1

Collections

Citation

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

Share

Metrics

Record views

420

Files downloads

153