Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS

Abstract : The use of Unmanned Aerial Systems (UAS) can be leveraged in many application domains ranging from agriculture to industry, opening up a wealth of new possibilities. However, UAS obviously raise important safety concerns and the use of the techniques, processes and standards developed for the aeronautic industry is not a feasible solution for most UAS. There is a need to bring in novel and pragmatic solutions to develop provably safe UAS in a time and cost-affordable manner. This paper reports on the development of a smart parachute which provides a safe-crash (termination) solution for UAS, one of the core safety requirements which can be complemented by other safety components in an incremental manner. The requirements elicitation phase, the design and partial verification of the termination system has been carried out using CPAL, a lightweight model-based design environment for embedded systems. The study illustrates on a specific requirement of the system how simulation and fault-injection on models can be used to provide evidence that the parachute system meets its design objectives.
Type de document :
Communication dans un congrès
ERTS 2016 - 8th European Congress on Embedded Real Time Software and Systems, Jan 2016, Toulous, France. Proceedings of the 2016 ERTS (Embedded Reat-Time Software and Systems, pp.10, 2016, 〈http://www.erts2016.org/〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01251305
Contributeur : Laurent Ciarletta <>
Soumis le : mardi 5 janvier 2016 - 22:37:00
Dernière modification le : jeudi 11 janvier 2018 - 06:25:23
Document(s) archivé(s) le : jeudi 7 avril 2016 - 15:36:48

Fichier

paper_108.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01251305, version 1

Collections

Citation

Laurent Ciarletta, Loïc Fejoz, Adrien Guenard, Nicolas Navet. Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS. ERTS 2016 - 8th European Congress on Embedded Real Time Software and Systems, Jan 2016, Toulous, France. Proceedings of the 2016 ERTS (Embedded Reat-Time Software and Systems, pp.10, 2016, 〈http://www.erts2016.org/〉. 〈hal-01251305〉

Partager

Métriques

Consultations de la notice

287

Téléchargements de fichiers

131