Title :
Some approaches and paradigms for verifying and validating simulation models
Author :
Sargent, Robert G.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Syracuse Univ., NY, USA
Abstract :
In this paper we discuss verification and validation of simulation models. The different approaches to deciding model validity are described, two different paradigms that relate verification and validation to the model development process are presented, the use of graphical data statistical references for operational validity is discussed, and a recommended procedure for model validation is given
Keywords :
digital simulation; formal verification; graphical data statistical references; model development; operational validity; simulation models; validation; verification; Accreditation; Application software; Computational modeling; Computer science; Computer simulation; Decision making; Educational institutions; Problem-solving; Random variables; Testing;
Conference_Titel :
Simulation Conference, 2001. Proceedings of the Winter
Conference_Location :
Arlington, VA
Print_ISBN :
0-7803-7307-3
DOI :
10.1109/WSC.2001.977251
