loading
Documents

Research.Publish.Connect.

Paper

Authors: Mohamed Naija ; Rihab Khemiri and Ernesto Exposito

Affiliation: Univ. Pau & Pays Adour, E2S UPPA, LIUPPA, Anglet, France

ISBN: 978-989-758-443-5

Keyword(s): Unmanned Aerial Vehicles (UAVs), Reconfiguration, NCES, Safety, Model Checking.

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. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.237.67.179

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@conference{icsoft20,
author={NAIJA, M. 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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.