Skip to Main content Skip to Navigation
Conference papers

Failsafe Mechanism to Hazard Analysis and Risk mitigation in Unmanned Aerial Vehicle based on NCES

Abstract : In the last few years, Unmanned Aerial Vehicles (UAVs) are receiving more focus in order to execute a wide variety of applications such as the military, agriculture and medical fields. It is known the high vulnerability of the UAV not only to unexpected faults of their software but also to the environment. For this reason, safety should be considered as the main requirement at design time, since any unexpected behavior of the vehicle or any hazard would lead to potential risks. To maintain their safe operation during their missions, a failsafe mechanism based on Net Condition Event System (NCES) is proposed. The failsafe mechanism is a control logic that guides risk reduction actions to be performed when hazards occur. To generate such a controller using formal models, the proposed process is decomposed into three phases: (1) the first phase consists on hazard identification and analysis according to reactive methods of literature, (2) the second phase allows risk estimation using the standard ISO 13849, and (3) the third phase consists of performing reconfiguration scenario in order to risk mitigation while analyzing safety requirements. The motivation behind the use of formal methods is that they have proven to be useful for making the development process reliable at early design stages. We demonstrate the applicability and feasibility of our proposal on an illustrative medical drone as a case study.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Mohamed NAIJA Connect in order to contact the contributor
Submitted on : Wednesday, May 20, 2020 - 3:43:35 PM
Last modification on : Tuesday, February 15, 2022 - 3:41:25 AM


Files produced by the author(s)


  • HAL Id : hal-02613976, version 1



Mohamed Naija, Rihab Khemiri, Ernesto Expósito. Failsafe Mechanism to Hazard Analysis and Risk mitigation in Unmanned Aerial Vehicle based on NCES. 15th International Conference on Software Technologies, Jul 2020, Paris, France. ⟨hal-02613976⟩



Record views


Files downloads