This paper concerns the application of formal methods to the definition of a detect and avoid concept for unmanned aircraft systems (UAS). In particular, it illustrates how formal analysis was used to explain and correct unexpected behaviors of the logic that issues alerts when two aircraft are predicted not to be well clear from one another. As a result of this analysis, a recommendation was proposed to, and subsequently adopted by, the US standards organization that defines the minimum operational requirements for the UAS detect and avoid concept.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft


    Beteiligte:
    C. Munoz (Autor:in) / A. Narkawicz (Autor:in)

    Erscheinungsdatum :

    2016


    Format / Umfang :

    6 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Defining Well Clear for Unmanned Aircraft Systems

    Cook, Stephen P. / Brooks, Dallas / Cole, Rodney et al. | AIAA | 2015


    Defining Well Clear Separation for Unmanned Aircraft Systems Operating with Noncooperative Aircraft

    Chen, Christine / Gill, Bilal / Edwards, Matthew et al. | NTRS | 2019


    Defining Well Clear Separation for Unmanned Aircraft Systems Operating with Noncooperative Aircraft

    Chen, Christine / Edwards, Matthew W. / Gill, Bilal et al. | AIAA | 2019


    Analysis of Quantitative Terminal Area Well-Clear Volumes for Unmanned Aircraft Systems

    Smearcheck, Samantha / Calhoun, Sean / Adami, Tony | British Library Conference Proceedings | 2018