Verification and Validation of Complex Systems

Paper #:
  • 2011-01-2530

Published:
  • 2011-10-18
Citation:
Youssef, H., "Verification and Validation of Complex Systems," SAE Technical Paper 2011-01-2530, 2011, https://doi.org/10.4271/2011-01-2530.
Author(s):
Affiliated:
Pages:
10
Abstract:
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
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$28.00
Mail
$28.00
Members save up to 42% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Training / Education
2018-11-07
Technical Paper / Journal Article
2011-05-17
Technical Paper / Journal Article
2005-05-16
Technical Paper / Journal Article
2014-04-01
Training / Education
2018-04-12