Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Carle, Patrice; Choppy, Christine; Kervarc, Romain; Piel, Ariane http://www.dagstuhl.de/oasics License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-40935
URL:

; ; ;

Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns

pdf-format:


Abstract

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.

BibTeX - Entry

@InProceedings{carle_et_al:OASIcs:2013:4093,
  author =	{Patrice Carle and Christine Choppy and Romain Kervarc and Ariane Piel},
  title =	{{Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns}},
  booktitle =	{1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
  pages =	{86--91},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-56-9},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{31},
  editor =	{Christine Choppy and Jun Sun},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4093},
  URN =		{urn:nbn:de:0030-drops-40935},
  doi =		{10.4230/OASIcs.FSFMA.2013.86},
  annote =	{Keywords: complex event processing, safety, aeronautics, multiple breakdowns, behaviour recognition tool}
}

Keywords: complex event processing, safety, aeronautics, multiple breakdowns, behaviour recognition tool
Seminar: 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)
Issue date: 2013
Date of publication: 2013


DROPS-Home | Fulltext Search | Imprint Published by LZI