This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Verification and Validation of Complex Systems
Technical Paper
2011-01-2530
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
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.
Authors
Topic
Citation
Youssef, H., "Verification and Validation of Complex Systems," SAE Technical Paper 2011-01-2530, 2011, https://doi.org/10.4271/2011-01-2530.Also In
References
- An Axiomatic Basis for Computer Programming Hoare, C.A.R. Nothern Belfast Oct 1969 Communications of the ACM 576
- A historical persepective on runtime asserion checking in software development Clarke, L. A. Rosenblum, D.S 2006 ACM SIGSOFT 26
- Formal methods: state of the art and future directions Clarke, E. M. 1996 ACM Computing Surveys 626 643
- Eremenko, Paul http://www.darpa.mil/AVM.aspx 3701 North Fairfax Drive, Arlington VA, VA, United States October 7 2010
- Distilling Free-Form Natural Laws from Experimental Data DOI:10.1126/science.1165893 Schmidt, M. 2009 Science 81 85
- The Complexity of Theorem Proving Procedures Cook, Stephen A. 1971 Association for Computing Machinery 151 157
- Garey, M.R. Johnson, D.S Computers and Intractability - A Guide to the Theory of NP Completeness New York W. H. Freeman & Co. 1979
- The Daikon system for dynamic detection of likely invariants Ernst, M. 2007 Science of Computer Programming 69 25 36
- Tracking down software bugs using automatic anomaly detection Hangel, S. May 2002 Proceedings of the 24th International Conference on Software Engineering 291 301
- Strengths and Weaknesses of Quantum Computing Bennett, C. 1996 SIAM Journal on Computing 1 18
- Optimization by Simulated Annealing Kirkpatrick Gellat Vecchi 1983 Science 671 680
- Quantum Adiabatic Evolution Algorithms versus Simulated Annealing Farhi, Edward Goldstone, Jeffrey 2002 1 16
- Quantum theory, the Church-Turing principle, and the universal quantum computer Deutsch, D. 1985 Proceedings of the Royal Society of London 97 117
- On computable numbers, with an application to the Entscheidungsproblem Turing, A. M. 1936 Proceedings of the London Mathematical Society 442
- What is a quantumcComputer and how do we build one? Perez-Delgado, C. A. 2010 New Journal of Physics 1 30
- Simulating Physics with Computers Feynman, R. P. 1982 International Journal of Theoretical Physics 21 6/7 1982 1 22
- Prospects for Quantum Computers DiVincenzo, David P. Yorktown Heights, NY IEEE 2000 10
- Beweis des Adiabatensatzes Fock, Born 1928 Zeitschrift für Physik a Hadrons and Nuclei 51 3-4 165 180
- Experimental Demonstration of a Robust and Scalable Flux Qubit Harris, R. Johansson, J. 2009 24 Sep 2009 1 20
- Realizable Hamiltonians for universal adiabatic quantum computers Biamonte, J. D. Love, P. J. 2008 17 Jun 2008 1 7
- (Presentation) What is a quantum computer,and how do we build one? Kok, P. 2010 XIII ICQIO'10 Kiev 2 June 2010 25
- Quantum Annealing with Manufactured Spins Johnson, M. W. al, et. l Nature 10.1038/nature10012 2011 Nature 473 194 198
- A scalable readout system for a superconducting adiabatic quantum optimization system Berkeley, A. J. al, et. Supercon. Sci. Technol. 23 105014 2010 23
- A Fast Algorithm for Simulated Annealing Guo, H. 1991 Physica Scripta. T38 40 44
- Quantum Computation by Adiabatic Evolution Farhi, Edward Gutmann, Sam Cambridge, MA 2000 28 Jan 2000 1 24
- A fast quantum mechanical algorithm for database search Grover, L. 1996 Proceeding, STOC Philadelphia, USA 212 219