Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
Identifieur interne : 001C37 ( Hal/Corpus ); précédent : 001C36; suivant : 001C38Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
Auteurs : Laurent Ciarletta ; Loïc Fejoz ; Adrien Guenard ; Nicolas NavetSource :
English descriptors
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.
Url:
Links to Exploration step
Hal:hal-01251305Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS</title><author><name sortKey="Ciarletta, Laurent" sort="Ciarletta, Laurent" uniqKey="Ciarletta L" first="Laurent" last="Ciarletta">Laurent Ciarletta</name><affiliation><hal:affiliation type="researchteam" xml:id="struct-205122" status="VALID"><idno type="RNSR">200418297A</idno><orgName>Management of dynamic networks and services</orgName><orgName type="acronym">MADYNES</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/madynes</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation></affiliation></author><author><name sortKey="Fejoz, Loic" sort="Fejoz, Loic" uniqKey="Fejoz L" first="Loïc" last="Fejoz">Loïc Fejoz</name><affiliation><hal:affiliation type="laboratory" xml:id="struct-104899" status="VALID"><orgName>Realtime-at-Work</orgName><orgName type="acronym">RTaW</orgName><desc><address><addrLine>INRIA, Espace Transfert, 615, rue du Jardin Botanique, 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.realtimeatwork.com</ref></desc><listRelation><relation active="#struct-366885" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-366885" type="direct"><org type="institution" xml:id="struct-366885" status="INCOMING"><orgName>RealTime-at-Work</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation></affiliation></author><author><name sortKey="Guenard, Adrien" sort="Guenard, Adrien" uniqKey="Guenard A" first="Adrien" last="Guenard">Adrien Guenard</name><affiliation><hal:affiliation type="researchteam" xml:id="struct-205122" status="VALID"><idno type="RNSR">200418297A</idno><orgName>Management of dynamic networks and services</orgName><orgName type="acronym">MADYNES</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/madynes</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation></affiliation></author><author><name sortKey="Navet, Nicolas" sort="Navet, Nicolas" uniqKey="Navet N" first="Nicolas" last="Navet">Nicolas Navet</name><affiliation><hal:affiliation type="department" xml:id="struct-73122" status="VALID"><orgName>Computer Science and Communications Research Unit [Luxembourg]</orgName><orgName type="acronym">CSC</orgName><desc><address><addrLine>Campus Kirchberg 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg LUXEMBOURG</addrLine><country key="LU"></country></address><ref type="url">http://wwwen.uni.lu/research/fstc/computer_science_and_communications_research_unit</ref></desc><listRelation><relation active="#struct-89847" type="direct"></relation><relation active="#struct-104741" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-89847" type="direct"><org type="laboratory" xml:id="struct-89847" status="VALID"><orgName>Laboratory of Advanced Software SYstems [Luxembourg]</orgName><orgName type="acronym">LASSY</orgName><desc><address><addrLine>University of Luxembourg Campus Kirchberg, LASSY 6, rue Coudenhove-Kalergi L-1359 Luxembourg</addrLine><country key="LU"></country></address></desc><listRelation><relation active="#struct-104741" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-104741" type="indirect"><org type="institution" xml:id="struct-104741" status="VALID"><orgName>Université du Luxembourg</orgName><orgName type="acronym">Uni.lu</orgName><desc><address><addrLine>6 rue Richard Coudenhove-Kalergi - L-1359 Luxembourg</addrLine><country key="LU"></country></address><ref type="url">http://wwwfr.uni.lu/</ref></desc></org></tutelle></tutelles></hal:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-01251305</idno><idno type="halId">hal-01251305</idno><idno type="halUri">https://hal.inria.fr/hal-01251305</idno><idno type="url">https://hal.inria.fr/hal-01251305</idno><date when="2016-01-27">2016-01-27</date><idno type="wicri:Area/Hal/Corpus">001C37</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS</title><author><name sortKey="Ciarletta, Laurent" sort="Ciarletta, Laurent" uniqKey="Ciarletta L" first="Laurent" last="Ciarletta">Laurent Ciarletta</name><affiliation><hal:affiliation type="researchteam" xml:id="struct-205122" status="VALID"><idno type="RNSR">200418297A</idno><orgName>Management of dynamic networks and services</orgName><orgName type="acronym">MADYNES</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/madynes</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation></affiliation></author><author><name sortKey="Fejoz, Loic" sort="Fejoz, Loic" uniqKey="Fejoz L" first="Loïc" last="Fejoz">Loïc Fejoz</name><affiliation><hal:affiliation type="laboratory" xml:id="struct-104899" status="VALID"><orgName>Realtime-at-Work</orgName><orgName type="acronym">RTaW</orgName><desc><address><addrLine>INRIA, Espace Transfert, 615, rue du Jardin Botanique, 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.realtimeatwork.com</ref></desc><listRelation><relation active="#struct-366885" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-366885" type="direct"><org type="institution" xml:id="struct-366885" status="INCOMING"><orgName>RealTime-at-Work</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation></affiliation></author><author><name sortKey="Guenard, Adrien" sort="Guenard, Adrien" uniqKey="Guenard A" first="Adrien" last="Guenard">Adrien Guenard</name><affiliation><hal:affiliation type="researchteam" xml:id="struct-205122" status="VALID"><idno type="RNSR">200418297A</idno><orgName>Management of dynamic networks and services</orgName><orgName type="acronym">MADYNES</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/madynes</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation></affiliation></author><author><name sortKey="Navet, Nicolas" sort="Navet, Nicolas" uniqKey="Navet N" first="Nicolas" last="Navet">Nicolas Navet</name><affiliation><hal:affiliation type="department" xml:id="struct-73122" status="VALID"><orgName>Computer Science and Communications Research Unit [Luxembourg]</orgName><orgName type="acronym">CSC</orgName><desc><address><addrLine>Campus Kirchberg 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg LUXEMBOURG</addrLine><country key="LU"></country></address><ref type="url">http://wwwen.uni.lu/research/fstc/computer_science_and_communications_research_unit</ref></desc><listRelation><relation active="#struct-89847" type="direct"></relation><relation active="#struct-104741" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-89847" type="direct"><org type="laboratory" xml:id="struct-89847" status="VALID"><orgName>Laboratory of Advanced Software SYstems [Luxembourg]</orgName><orgName type="acronym">LASSY</orgName><desc><address><addrLine>University of Luxembourg Campus Kirchberg, LASSY 6, rue Coudenhove-Kalergi L-1359 Luxembourg</addrLine><country key="LU"></country></address></desc><listRelation><relation active="#struct-104741" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-104741" type="indirect"><org type="institution" xml:id="struct-104741" status="VALID"><orgName>Université du Luxembourg</orgName><orgName type="acronym">Uni.lu</orgName><desc><address><addrLine>6 rue Richard Coudenhove-Kalergi - L-1359 Luxembourg</addrLine><country key="LU"></country></address><ref type="url">http://wwwfr.uni.lu/</ref></desc></org></tutelle></tutelles></hal:affiliation></affiliation></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term> hybrid</term><term> parachute</term><term> safety</term><term> uas</term><term>uav</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">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.</div></front></TEI><hal api="V3"><titleStmt><title xml:lang="en">Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS</title><author role="aut"><persName><forename type="first">Laurent</forename><surname>Ciarletta</surname></persName><email></email><idno type="halauthor">1068556</idno><affiliation ref="#struct-205122"></affiliation></author><author role="aut"><persName><forename type="first">Loïc</forename><surname>Fejoz</surname></persName><email></email><idno type="halauthor">1267433</idno><affiliation ref="#struct-104899"></affiliation></author><author role="aut"><persName><forename type="first">Adrien</forename><surname>Guenard</surname></persName><email></email><idno type="halauthor">1068557</idno><affiliation ref="#struct-205122"></affiliation></author><author role="aut"><persName><forename type="first">Nicolas</forename><surname>Navet</surname></persName><email></email><idno type="halauthor">65625</idno><affiliation ref="#struct-73122"></affiliation></author><editor role="depositor"><persName><forename>Laurent</forename><surname>Ciarletta</surname></persName><email>Laurent.Ciarletta@loria.fr</email></editor></titleStmt><editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2016-01-05 22:37:00</date><date type="whenModified">2016-01-08 01:04:46</date><date type="whenReleased">2016-01-06 12:00:20</date><date type="whenProduced">2016-01-27</date><date type="whenEndEmbargoed">2016-01-05</date><ref type="file" target="https://hal.inria.fr/hal-01251305/document"><date notBefore="2016-01-05"></date></ref><ref type="file" subtype="author" n="1" target="https://hal.inria.fr/hal-01251305/file/paper_108.pdf"><date notBefore="2016-01-05"></date></ref></edition><respStmt><resp>contributor</resp><name key="102893"><persName><forename>Laurent</forename><surname>Ciarletta</surname></persName><email>Laurent.Ciarletta@loria.fr</email></name></respStmt></editionStmt><publicationStmt><distributor>CCSD</distributor><idno type="halId">hal-01251305</idno><idno type="halUri">https://hal.inria.fr/hal-01251305</idno><idno type="halBibtex">ciarletta:hal-01251305</idno><idno type="halRefHtml">Embedded Real Time Software and Services, Jan 2016, Toulous, France. Proceedings of the 2016 ERTS (Embedded Reat-Time Software and Systems, 2016, <http://www.erts2016.org/></idno><idno type="halRef">Embedded Real Time Software and Services, Jan 2016, Toulous, France. Proceedings of the 2016 ERTS (Embedded Reat-Time Software and Systems, 2016, <http://www.erts2016.org/></idno></publicationStmt><seriesStmt><idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno><idno type="stamp" n="INRIA-LORRAINE">INRIA Nancy - Grand Est</idno><idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno><idno type="stamp" n="LORIA-NSS" p="LORIA">Réseaux, systèmes et services</idno><idno type="stamp" n="LORIA2">Publications du LORIA</idno><idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno><idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno><idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno><idno type="stamp" n="INRIA2">INRIA 2</idno><idno type="stamp" n="LORIA">LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno></seriesStmt><notesStmt><note type="audience" n="2">International</note><note type="invited" n="0">No</note><note type="popular" n="0">No</note><note type="peer" n="1">Yes</note><note type="proceedings" n="1">Yes</note></notesStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS</title><author role="aut"><persName><forename type="first">Laurent</forename><surname>Ciarletta</surname></persName><idno type="halAuthorId">1068556</idno><affiliation ref="#struct-205122"></affiliation></author><author role="aut"><persName><forename type="first">Loïc</forename><surname>Fejoz</surname></persName><idno type="halAuthorId">1267433</idno><affiliation ref="#struct-104899"></affiliation></author><author role="aut"><persName><forename type="first">Adrien</forename><surname>Guenard</surname></persName><idno type="halAuthorId">1068557</idno><affiliation ref="#struct-205122"></affiliation></author><author role="aut"><persName><forename type="first">Nicolas</forename><surname>Navet</surname></persName><idno type="halAuthorId">65625</idno><affiliation ref="#struct-73122"></affiliation></author></analytic><monogr><title level="m">Proceedings of the 2016 ERTS (Embedded Reat-Time Software and Systems</title><meeting><title>Embedded Real Time Software and Services</title><date type="start">2016-01-27</date><date type="end">2016-01-29</date><settlement>Toulous</settlement><country key="FR">France</country></meeting><imprint><date type="datePub">2016</date></imprint></monogr><ref type="publisher">http://www.erts2016.org/</ref></biblStruct></sourceDesc><profileDesc><langUsage><language ident="en">English</language></langUsage><textClass><keywords scheme="author"><term xml:lang="en">uav</term><term xml:lang="en"> uas</term><term xml:lang="en"> hybrid</term><term xml:lang="en"> parachute</term><term xml:lang="en"> safety</term></keywords><classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</classCode><classCode scheme="halTypology" n="COMM">Conference papers</classCode></textClass><abstract xml:lang="en">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.</abstract></profileDesc></hal></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001C37 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd -nk 001C37 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Hal
|étape= Corpus
|type= RBID
|clé= Hal:hal-01251305
|texte= Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
}}
| This area was generated with Dilib version V0.6.33. |  |