By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $33
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)

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.

Published in:

Autonomous Systems, 2005. The IEE Forum on (Ref. No. 2005/11271)

Date of Conference:

28-28 Nov. 2005