Model-Based Dependability Analysis of Unmanned Aerial Vehicles - A Case Study

Unmanned aerial vehicles (UAVs) are a type of safety-critical system, which demand the verification of dependability properties in different levels of abstraction in order to achieve certification and to be released for operation. Existing model-based techniques have been successfully used in the industry, and recommended by safety standards in automotive and aerospace domains to support system design and dependability analysis. However, there is a lack of a context-aware and systematic approach to support the usage of model-based techniques to support dependability analysis in the UAV domain. This paper presents a systematic and context-aware model-based approach to support dependability analysis and automated generation of artefacts required for safety-certification of UAVs. The approach was applied in SLUGs UAV with the support of HiP-HOPS dependability analysis technique/tool. As a result, the application of the proposed approach enabled the automated generation of dependability artefacts, reducing the effort/costs, and number of errors in performing dependability analysis.

[1]  Danilo Beuche,et al.  Functional safety and variability: can it be brought together? , 2013, SPLC '13.

[2]  Gerald L. Dillingham,et al.  Unmanned Aircraft Systems: Federal Actions Needed to Ensure Safety and Expand Their Potential Uses Within the National Airspace System , 2008 .

[3]  Yiannis Papadopoulos,et al.  Automating allocation of development assurance levels : an extension to HiP-HOPS , 2015 .

[4]  Martin Walker,et al.  Engineering failure analysis and design optimisation with HiP-HOPS , 2011 .

[5]  D. Pumfrey,et al.  Towards a Practicable Process for Automated Safety Analysis , 2006 .

[6]  John A. McDermid,et al.  An integrated tool set for software safety analysis , 1993, J. Syst. Softw..

[7]  Julien Delange,et al.  Architecture Fault Modeling with the AADL Error-Model Annex , 2014, 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications.

[8]  Sara Tucci Piergiovanni,et al.  EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research , 2016, Int. J. Syst. Dyn. Appl..

[9]  John A. McDermid,et al.  Hierarchically Performed Hazard Origin and Propagation Studies , 1999, SAFECOMP.

[10]  Yiannis Papadopoulos,et al.  Variability Management in Safety-Critical Software Product Line Engineering , 2018, ICSR.

[11]  Kyo Chul Kang,et al.  Usage Context as Key Driver for Feature Selection , 2010, SPLC.

[12]  Malcolm Wallace,et al.  Modular Architectural Representation and Analysis of Fault Propagation and Transformation , 2005, FESCA@ETAPS.

[13]  Tim Kelly.  A Systematic Approach to Safety Case Management , 2004 .

[14]  Robert E. Voros.  Small Airplane Considerations for the Guidelines for Development of Civil Aircraft and Systems , 2013 .

[15]  Samuel Lee Toepke.  Documentation, deployment and extension of a versatile and rapidly econfigurable UAV GNC research platform , 2012 .

[16]  Michael Schulze,et al.  A process to support a systematic change impact analysis of variability and safety in automotive functions , 2015, SPLC.

[17]  Peter H. Feiler,et al.  ASSIP Study of Real-Time Safety-Critical Embedded Software-Intensive System Engineering Practices , 2008 .

[18]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[19]  Antoine Rauzy,et al.  The AltaRica 3.0 project for model-based safety assessment , 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).

[20]  João Batista Camargo,et al.  Guidelines for the Integration of Autonomous UAS into the Global ATM , 2014, J. Intell. Robotic Syst..

[21]  Martin Walker,et al.  Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search , 2013, CARS@SAFECOMP.

[22]  Silvia Mazzini,et al.  CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems , 2016, EduSymp/OSS4MDE@MoDELS.

[23]  Martin Walker,et al.  Model-Based Functional Safety Analysis and Architecture Optimisation , 2013 .

[24]  Lars Grunske,et al.  An Automated Dependability Analysis Method for COTS-Based Systems , 2005, ICCBSS.

[25]  Bernhard Kaiser,et al.  State/event fault trees - A safety analysis model for software-controlled systems , 2007, Reliab. Eng. Syst. Saf..

[26]  Richard F. Paige,et al.  Weaving an Assurance Case from Design: A Model-Based Approach , 2015, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering.

[27]  Steven P. Miller,et al.  A proposal for model-based safety analysis , 2005, 24th Digital Avionics Systems Conference.

[28]  Reg Austin,et al.  Unmanned Aircraft Systems: Uavs Design, Development and Deployment , 2010 .

[29]  Manuel Jimenez,et al.  Introduction to Embedded Systems: Using Microcontrollers and the MSP430 , 2013 .

[30]  Yabin Wang,et al.  Research on security monitoring and health management system of medium-range UAV , 2009, 2009 8th International Conference on Reliability, Maintainability and Safety.