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.
Type de document :
Communication dans un congrès
FM - Doctoral Symposium, Aug 2012, Paris, France
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01076941
Contributeur : Ariane Piel <>
Soumis le : jeudi 23 octobre 2014 - 15:14:57
Dernière modification le : mercredi 28 mars 2018 - 14:18:17
Document(s) archivé(s) le : samedi 24 janvier 2015 - 10:41:07

Fichier

FM-Doctoral-symposium.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Partager

Métriques

Consultations de la notice

307

Téléchargements de fichiers

133