Model-based analysis of timing errors for reliable UAV design

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

Abstract

Unmanned aerial vehicles are safety-critical systems. A failure in the system behavior may lead to hazards and serious consequences. The assessment of the system dependability characteristics that include safety and reliability early in the design phase is a beneficial task that helps to avoid expensive redesign and iterations in later design phases. Unmanned aerial vehicles typically comprise several independent components that communicate and share data via a network. Adequate timing is crucial for proper system behavior. However, the timing is affected by various system faults, e. g., network induced delays, which typically have a stochastic nature. The focus of this paper is on the effective model-based application of the previously published method for the analysis of timing errors to a realistic case study model of a quadcopter. The holistic solution proposed in this paper integrates the SysML modeling and annotating approach, the automated transformation of the SysML model to a Stochastic Petri Net, and the identification, formalization, and analysis of timing properties. The case study model is annotated with the timing parameters recorded from a real-world system. The results of the conducted sensitivity analysis reveal the effects of parameter changes in the annotated timing properties. These quantitative results may be used as input for the error propagation analysis, allow the assessment of the system dependability and enable to compare different design options concerning the occurrence of timing errors.

Details

Original languageEnglish
Title of host publicationProceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference
EditorsPiero Baraldi, Francesco Di Maio, Enrico Zio
PublisherResearch Publishing, Singapore
Pages2057-2064
Number of pages8
ISBN (electronic)9789811485930
Publication statusPublished - 2020
Peer-reviewedYes

Publication series

SeriesEuropean Safety and Reliability Conference (ESREL)

Conference

Title30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020
Duration1 - 5 November 2020
CityVenice, Virtual
CountryItaly

External IDs

Scopus 85107264850

Keywords

Keywords

  • Dependability, Petri Net, Safety-Critical System, SysML Activity, Timing Analysis, UAV