Model-based analysis of timing errors for reliable UAV design
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-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 language | English |
---|---|
Title of host publication | Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference |
Editors | Piero Baraldi, Francesco Di Maio, Enrico Zio |
Publisher | Research Publishing, Singapore |
Pages | 2057-2064 |
Number of pages | 8 |
ISBN (electronic) | 9789811485930 |
Publication status | Published - 2020 |
Peer-reviewed | Yes |
Publication series
Series | European Safety and Reliability Conference (ESREL) |
---|
Conference
Title | 30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020 |
---|---|
Duration | 1 - 5 November 2020 |
City | Venice, Virtual |
Country | Italy |
External IDs
Scopus | 85107264850 |
---|
Keywords
ASJC Scopus subject areas
Keywords
- Dependability, Petri Net, Safety-Critical System, SysML Activity, Timing Analysis, UAV