Outline safety case for the use of autonomous UAVs in unsegregated airspace

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.