This presentation goes over the work we have performed over the last few years on verification and validation of the next generation onboard collision avoidance system, ACAS X, for commercial aircraft. It describes our work on probabilistic verification and synthesis of the model that ACAS X is based on, and goes on to the validation of that model with respect to actual simulation and flight data. The presentation then moves on to identify the characteristics of ACAS X that are related to autonomy and to discuss the challenges that autonomy pauses on VV. All work presented has already been published.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Towards Verification and Validation for Increased Autonomy


    Beteiligte:

    Erscheinungsdatum :

    2017


    Format / Umfang :

    34 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch






    Verification and Validation of Autonomy Requirements

    Vassev, Emil / Hinchey, Mike | Springer Verlag | 2014


    Autonomy Verification & Validation Roadmap and Vision 2045

    Guillaume P Brat / Huafeng Yu / Ella Atkins et al. | NTRS | 2023


    Moving the Validation and Verification Frontier: the System-Wide Safety March Towards Scalability and Autonomy

    Brat, Guillaume / Davies, Misty D. / Koelling, John H. et al. | AIAA | 2019