Abstract
Model Verification and Validation (V&V) is concerned with having a model and the model’s results “correct” for a specific model use or purpose. This chapter presents an overview of V&V of computerized structural models. Formally, model verification of computerized structured models is defined as “ensuring that the computer program of the computerized model with its solution method and the computer program’s implementation are correct” and model validation is defined as the “substantiation that a computerized model within its domain of applicability possesses a satisfactory range of accuracy consistent with the intended application of the model.” Model V&V is part of the model development process. The overview of V&V presented includes the decision-making approaches for deciding model V&V, a graphical paradigm for relating V&V to the model development process, a discussion of each of the steps of performing V&V during the model development process, the criticalness of documenting V&V, and a recommended model V&V procedure.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Barlas Y (1996) Formal aspects of model validity and validation in system dynamics. Syst Dynam Rev 12(3):183–210
Banks J, Carson JS II, Nelson BL, Nicol D (2010) Discrete-event system simulation, 5th edn. Prentice-Hall, Englewood Cliffs
DoDI (2009) DoDI 5000.61: DoD modeling and simulation verification, validation, and accreditation. U.S. Department of Defense
Gass SI (1983) Decision-aiding models: validation, assessment, and related issues for policy analysis. Oper Res 31(4):601–663
Knepell PL, Arangno DC (1993) Simulation validation: a confidence assessment methodology. IEEE Computer Society Press, Los Alamitos, CA
Law AM (2014) Simulation modeling and analysis, 5th edn. McGraw-Hill, New York
Oberkampf WL, Roy J (2010) Verification and validation in scientific computing. Cambridge University Press, Cambridge
Robinson S (2004) Simulation: the practice of model development and use. Wiley, Chichester
Sargent RG (1981) An assessment procedure and a set of criteria for use in the evaluation of computerized models and computer-based modeling tools. Final Technical Report RADC-TR-80-409, U.S. Air Force
Sargent RG (1983) Validating simulation models. In Roberts S, Banks J, Schmeiser B (eds) Proceeding 1983 winter simulation conference. Institute of Electrical and Electronic Engineers Inc, New Jersey, pp 333–337
Sargent RG (1984) Simulation model validation. In Oren TI, Zeigler BP, Elzas MS (eds) Chapter 19 in simulation and model-based methodologies: an integrative view. Springer, Heidelberg, pp 537–555
Sargent RG (1996) Some subjective validation methods using graphical displays of data. In Charnes JM, Morrice DJ, Brunner DT, Swain JJ (eds) Proceeding 1996 winter simulation conference. Institute of Electrical and Electronic Engineers Inc, New Jersey, pp 345–351
Sargent RG (2001) Some approaches and paradigms for verifying and validating simulation models. In: Peters BA, Smith JS, Medeiros DJ, Rohrer MW (eds) Proceeding 2001 winter simulation conference. Institute of Electrical and Electronic Engineers Inc, New Jersey, pp 106–114
Sargent RG (2011) Verification and validation of simulation models. In: Jain S, Ceasey RR, Himmelspach J, White KP, Fu M (eds) Proceeding 2011 winter simulation conference. Institute of Electrical and Electronic Engineers Inc, New Jersey, pp 183–198
Sargent RG (2013) Verification and validation of simulation models. J Simulat 7:12–24
U. S. General Accounting Office (1987) DOD simulations: improved assessment procedures would increase the credibility of results. Report ID: PEMD-88-3
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag London
About this chapter
Cite this chapter
Sargent, R. (2015). Model Verification and Validation. In: Loper, M. (eds) Modeling and Simulation in the Systems Engineering Life Cycle. Simulation Foundations, Methods and Applications. Springer, London. https://doi.org/10.1007/978-1-4471-5634-5_6
Download citation
DOI: https://doi.org/10.1007/978-1-4471-5634-5_6
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-5633-8
Online ISBN: 978-1-4471-5634-5
eBook Packages: Computer ScienceComputer Science (R0)