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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Towards Verification and Validation for Increased Autonomy


    Contributors:

    Publication date :

    2017


    Size :

    34 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English






    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