Uninhibited air vehicles (UAVs) are routinely deployed in segregated airspace, however, due to organisational difficulty they are only partially integrated with normal air traffic in exceptional circumstances. This presentation examines the correct operation of UAV's software and the formal analysis of the SOAR agent programming language as contributions to the safe deployment of future military UAVs in unsegregated airspace. (13 pages)
Outline safety case for the use of autonomous UAVs in unsegregated airspace
2005-01-01
1 pages
Article (Journal)
English
UAVs in civil airspace: Safety requirements
IEEE | 2009
|UAVs in Civil Airspace: Safety Requirements
Online Contents | 2009
|Enhancing Safety of UAVs in National Airspace
IEEE | 2019
|Flight safety measurements of UAVs in congested airspace
British Library Online Contents | 2016
|