A Continuous Process for Validation, Verification, and Accreditation of Simulation Models

被引:12
作者
Fonseca i Casas, Pau [1 ]
机构
[1] Univ Politecn Catalunya BarcelonaTech, Dept Stat & Operat Res, Barcelona 08034, Spain
关键词
validation; simulation; assumptions; verification; accreditation;
D O I
10.3390/math11040845
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
A simulation model, and more generically, a model, is founded on its assumptions. Assurance of the model's correctness and correct use is needed to achieve accreditation. Often the exercise of working with a specific code misunderstands the overall process, focusing the resources on the model coding and forgetting the needed resources to ensure the validation of every step of the model definition and coding. The goal of this work is to present a methodology to help in the definition and use of the assumptions in the modeling process. To do so, we present a process to conduct a simulation project, an assumptions taxonomy, and a method that simplifies working with those assumptions. We propose to extend the traditional Validation, Verification, and Accreditation processes to a process composed of eight Validation, Verification, and Accreditation phases that cover the overall life cycle of a model. Although this paper is focused on a simulation model, we can extend the proposed method to a more general modeling approach.
引用
收藏
页数:25
相关论文
共 50 条
[41]   An R library for validation of simulation models [J].
Ablan, Magdiel ;
Marquez, Renny ;
Rivas, Yuraima ;
Molina, Ana ;
Querales, Jose .
CIENCIA E INGENIERIA, 2011, :117-126
[42]   Probabilistic error upper bounds for verification and validation practices for nuclear reactor modelling and simulation [J].
Khuwaileh B.A. ;
Ababneh A.Q. .
International Journal of Nuclear Energy Science and Technology, 2020, 14 (01) :82-95
[44]   How to Relate Models to Reality? An Epistemological Framework for the Validation and Verification of Computational Models [J].
Graebner, Claudius .
JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2018, 21 (03)
[45]   Automated continuous verification for numerical simulation [J].
Farrell, P. E. ;
Piggott, M. D. ;
Gorman, G. J. ;
Ham, D. A. ;
Wilson, C. R. ;
Bond, T. M. .
GEOSCIENTIFIC MODEL DEVELOPMENT, 2011, 4 (02) :435-449
[46]   Combining simulation and formal verification for integrated circuit design validation [J].
Li, Lun ;
Szygenda, Stephen A. ;
Thornton, Mitchell A. .
WMSCI 2005: 9TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 4, 2005, :92-97
[47]   Computer Modeling and Simulation: Increasing Reliability by Disentangling Verification and Validation [J].
Pronskikh, Vitaly .
MINDS AND MACHINES, 2019, 29 (01) :169-186
[48]   Computer Modeling and Simulation: Increasing Reliability by Disentangling Verification and Validation [J].
Vitaly Pronskikh .
Minds and Machines, 2019, 29 :169-186
[49]   The validation of simulation models [J].
Hicks, C ;
Earl, CF .
ASSEMBLY AUTOMATION, 2001, 21 (03) :193-194
[50]   Validation of simulation models [J].
Rehman, Muniza ;
Pedersen, Stig Andur .
JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2012, 24 (03) :351-363