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
01.01.2005
1 pages
Aufsatz (Zeitschrift)
Englisch
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