A historical review of the development of verification and validation theories for simulation models

作     者：Phillip J.Durst Derek T.Anderson Cindy L.Bethel 

作者机构：U.S.Army Engineer Research and Development Center 3909 Halls Ferry Road VicksburgMS 39180USA Mississippi State UniversityDepartment of Electrical and Computer Engineering Mississippi StateMS 39759USA Mississippi State UniversityDepartment of Computer Science and Engineering Mississippi StateMS 39759USA 

出 版 物：《International Journal of Modeling, Simulation, and Scientific Computing》 (建模、仿真和科学计算国际期刊（英文）)

年 卷 期：2017年第8卷第2期

页      面：1-24页

核心收录：

学科分类：07[理学] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 070101[理学-基础数学] 

主　　题：Verification and validation simulation models computational models physics-based simulations autonomous systems. 

摘      要：Modeling and simulation(M&S)play a critical role in both engineering and basic research ***-based models have existed since the 1950s,and those early models have given way to the more complex computational and physics-based simula-tions used *** such,a great deal of research has been done to establish what level of trust should be given to simulation outputs and how to verify and validate the mod-els used in these *** paper presents an overview of the theoretical work done to date defining formal definitions for,and methods of,verification and validation(V&V)of computer *** models are broken down into three broad cate-gories:analytical and simulation models,computational and physics-based models,and simulations of autonomous systems,and the unique theories and methods developed to address V&V of these models are *** paper also presents the current prob-lems in the theoretical field of V&V for models as simulations move from single system models and simulations to more complex simulation *** particular,this paper high-lights the lack of agreed-upon methods for V&V of simulations of autonomous systems,such as an autonomous unmanned vehicles,and proposes some next steps needed to address this problem.