This paper explores the problem of complex safety/security critical software Validation and Verification (V&V). Current methods of V&V, which certify that the software is fit for use, require a significant amount of touch labor - future complex software developments such as NextGen Air Traffic Control will face cost hurdles so high that it may not be deployable. We will take the current V&V technology beyond formal methods (the current state of the art), reducing the V&V problem to an NP-Hard optimization problem solvable by emerging Adiabatic Quantum Computing (AQC) hardware and processing methods. The Quantum V&V (QVV) approach can go beyond software V&V, and can span the entire complex system.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification and Validation of Complex Systems


    Additional title:

    Sae Technical Papers


    Contributors:

    Conference:

    Aerospace Technology Conference and Exposition ; 2011



    Publication date :

    2011-10-18




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    A Framework for Verification and Validation of Complex Aerospace Systems

    Felder, W.N. | British Library Conference Proceedings | 2013



    Verification and validation of expert systems

    SMITH, BURTON / MORRIS, KEITH | AIAA | 1989


    Verification and Validation

    Standley, Shaun | NTRS | 2019


    Verification and Validation

    Markosian, Lawrence Z. / Feather, Martin S. / Brinza, David E. | Wiley | 2011