Specification and Verification of Normative Documents

Schneider, Gerardo

doi:10.1007/978-3-030-38800-3_6

Cited by 1 publication

(1 citation statement)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this section, we provide a brief overview of the problem scope and the methodology behind our proposed solution to the assessment of COTS drone availability in nuclear SAR missions. We introduce a few terms within resilience ontology in the context of temporal logic using the Kripke structure notation to model time-dependent risk [12][13][14][15]. The formal equation and definitions are introduced in Equation ( 1) and Table 1.…”

Section: Methodsmentioning

confidence: 99%

Dynamic Probabilistic Risk Assessment of Commercial-Off-The-Shelf Drones in Nuclear-Contaminated Search and Rescue Missions

Earthperson¹,

Diaconeasa²

2023

Preprint

View full text Add to dashboard Cite

This paper presents a limited scope dynamic probabilistic risk assessment (D-PRA) on the survivability of commercial of the shelf (COTS) drones tasked with surveilling areas with varying radiation levels after a nuclear accident. The D-PRA is based on a discrete-dynamic event tree (D-DET) approach, which couples with the OpenEPL error propagation framework to model sequences leading to Loss of Mission (LOM) scenarios due to component failures in the drone’s navigation system. Radiation effects are simulated by calculating the total ionizing dose (TID) against the permissible limit per component, and errors are propagated within the electronic hardware and software blocks to quantify navigation system availability per radiation zone. The proposed methods are integrated into the traditional event tree/fault tree approach and the most vulnerable components are radiation-hardened (RAD-HARD) to the extent specified by a predefined mission success criterion. The results demonstrate the usefulness of the proposed approach in performing trade studies for incorporating COTS components into RAD-HARD drone designs.

show abstract

Section: Methodsmentioning

confidence: 99%