Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns

Authors Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel

Thumbnail PDF


  • Filesize: 2.99 MB
  • 6 pages

Document Identifiers

Author Details

Patrice Carle
Christine Choppy
Romain Kervarc
Ariane Piel

Cite AsGet BibTex

Patrice Carle, Christine Choppy, Romain Kervarc, and Ariane Piel. Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. In 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013). Open Access Series in Informatics (OASIcs), Volume 31, pp. 86-91, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


This work deals with data analysis issues in an aeronautics context by using a formal framework relying on activity recognition techniques which are applied to the certification and safety analysis processes of Unmanned Aircraft Systems in breakdown situations. In this paper, the behaviour of these systems is modelled, simulated and studied in case of multiple failures using a complex event processing language called chronicles to describe which combinations of events in time may lead to safety breaches, and a C++ chronicle recognition library is used to implement this method.
  • complex event processing
  • safety
  • aeronautics
  • multiple breakdowns
  • behaviour recognition tool


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail