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

Mohamed Naija, Rihab Khemiri, Ernesto Exposito

2020

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.

Paper Citation

in Harvard Style

Naija M., Khemiri R. and Exposito E. (2020). Failsafe Mechanism to Hazard Analysis and Risk Mitigation in Unmanned Aerial Vehicle based on NCES.In Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-443-5, pages 220-227. DOI: 10.5220/0009887802200227

in Bibtex Style

@conference{icsoft20,
author={Mohamed Naija and Rihab Khemiri and Ernesto Exposito},
title={Failsafe Mechanism to Hazard Analysis and Risk Mitigation in Unmanned Aerial Vehicle based on NCES},
booktitle={Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2020},
pages={220-227},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009887802200227},
isbn={978-989-758-443-5},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Failsafe Mechanism to Hazard Analysis and Risk Mitigation in Unmanned Aerial Vehicle based on NCES
SN - 978-989-758-443-5
AU - Naija M.
AU - Khemiri R.
AU - Exposito E.
PY - 2020
SP - 220
EP - 227
DO - 10.5220/0009887802200227