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)


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Pygott, C. (author)

    Publication date :

    2005-01-01


    Size :

    1 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    UAVs in civil airspace: Safety requirements

    Loh, R. / Yi Bian / Roe, T. | IEEE | 2009


    UAVs in Civil Airspace: Safety Requirements

    Loh, R. | Online Contents | 2009


    Enhancing Safety of UAVs in National Airspace

    Kwan, Chiman / Ayhan, Bulent | IEEE | 2019


    Flight safety measurements of UAVs in congested airspace

    Xiang, Jinwu / Liu, Yang / Luo, Zhangping | Elsevier | 2016

    Free access

    Flight safety measurements of UAVs in congested airspace

    Xiang, Jinwu / Liu, Yang / Luo, Zhangping | British Library Online Contents | 2016