An Altarica-Based Modelling and Analysis Approach Enabling UAV Regulation Compliance
摘要
The increasing adoption of Unmanned Aerial Vehicles (UAVs) in various operations introduces new safety risks to people on ground and airspace users. As a result, EU regulations require the demonstration of safety for UAV-based operations, necessitating comprehensive hazard analyses that capture diverse event and failure contributions. This paper presents a generic, model-based approach for assessing UAV system safety, leveraging layered failure propagation models from [4]. Our twofold contribution includes: (1) a detailed exposition of each failure propagation layer’s implementation in Altarica and their interconnections, and (2) the analysis of this layered model using associated Altarica tools to generate certification artefacts. A thorough case study on a rotary-wing UAV use-case illustrates our modelling methodology and its analysis capabilities.