Verification and Validation of Complex Systems Lockheed Martin

Format:

Conference/Event

Author/Creator:

Youssef, Youssef, author.

Conference Name:

Aerospace Technology Conference & Exposition (2011-10-18 : Toulouse, France)

Language:

English

Physical Description:

1 online resource

Place of Publication:

Warrendale, PA SAE International 2011

Summary:

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

Notes:

Vendor supplied data

Publisher Number:

2011-01-2530

Access Restriction:

Restricted for use by site license