Title :
Quantify Simulation Verification and Validation
Author :
Shi, Peng ; Liu, Fei ; Yang, Ming
Author_Institution :
Control & Simulation Centre, Harbin Inst. of Technol., Harbin
Abstract :
Verification and validation (V&V) are the primary means to assess accuracy and reliability of computational simulations. V&V methods and procedures have fundamentally improved the credibility of simulations in several high-consequence application military areas, such as, safety of nuclear weapons, and the trial of some missiles. In this paper we discuss how to quantify the V&V process for a better description of the model and simulation (M&S). After a representation of the concept of V&V in the beginning, we give the mathematical description of M&S, the quantification of V&V in unit models, and then the hierarchy of V&V.
Keywords :
digital simulation; formal verification; computational simulations; high-consequence application military areas; nuclear weapons; simulation validation; simulation verification; Accidents; Computational modeling; Computer simulation; Design engineering; Mathematical model; Military computing; Missiles; Nuclear weapons; Safety; Systems engineering and theory;
Conference_Titel :
Computer Modelling and Simulation, 2009. UKSIM '09. 11th International Conference on
Conference_Location :
Cambridge
Print_ISBN :
978-1-4244-3771-9
Electronic_ISBN :
978-0-7695-3593-7
DOI :
10.1109/UKSIM.2009.80