Paper Info
Title
Model-Based Dependability Analysis of Unmanned Aerial Vehicles - A Case Study
Abstract
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.
Year
DOI
Venue
2018
10.1109/DSN-W.2018.00073
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
Keywords
Field
DocType
Unmanned aerial vehicles,Dependability Analysis,UAV,Fault tree analysis,FTA
Aerospace,Dependability analysis,Dependability,Systems engineering,Unified Modeling Language,Computer science,Certification,Fault tree analysis,Distributed computing,Safety standards,Automotive industry
Conference
ISSN
ISBN
Citations 
2325-6648
978-1-5386-6708-8
0
PageRank 
References 
Authors
0.34
11
6
Name
Order
Citations
PageRank
Matheus Lopes Franco100.34
Kalinka R. J. L. Branco200.34
Rosana T. V. Braga35316.64
André Luíz De Oliveira442.07
Catherine Dezan5145.26
Jean-Philippe Diguet648667.41