Title :
Outline safety case for the use of autonomous UAVs in unsegregated airspace
Abstract :
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.
Keywords :
aerospace computing; aerospace robotics; formal verification; object-oriented languages; remotely operated vehicles; agent programming language; uninhibited air vehicles; unsegregated airspace;
Conference_Titel :
Autonomous Systems, 2005. The IEE Forum on (Ref. No. 2005/11271)
Conference_Location :
IET
Print_ISBN :
0-86341-586-5
