Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy. This book provides a comprehensive and systematic development of the basic concepts, principles, and procedures for verification and validation of models and simulations. The emphasis is placed on models that are described by partial differential and integral equations and the simulations that result from their numerical solution. The methods described can be applied to a wide range of technical fields, from the physical sciences, engineering and technology and industry, through to environmental regulations and safety, product and plant safety, financial investing, and governmental regulations. This book will be genuinely welcomed by researchers, practitioners, and decision makers in a broad range of fields, who seek to improve the credibility and reliability of simulation results. It will also be appropriate either for university courses or for independent study.
Cited By
- Denil J Validity in (Co-) Simulation Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, (193-199)
- Lunsford I and Bradley T Aircraft survivability modeling for multi-uav operational scenarios and emerging threats Proceedings of the 2020 Summer Simulation Conference, (1-12)
- Sargent R Verification and validation of simulation models Proceedings of the Winter Simulation Conference, (16-29)
- Minakowski P and Richter T (2020). Finite Element Error Estimates on Geometrically Perturbed Domains, Journal of Scientific Computing, 84:2, Online publication date: 3-Aug-2020.
- Coto A, Guanciale R and Tuosto E On Testing Message-Passing Components Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, (22-38)
- Jebeile J and Ardourel V (2019). Verification and Validation of Simulations Against Holism, Minds and Machines, 29:1, (149-168), Online publication date: 1-Mar-2019.
- Rueda-Ramírez A, Rubio G, Ferrer E and Valero E (2019). Truncation Error Estimation in the p-Anisotropic Discontinuous Galerkin Spectral Element Method, Journal of Scientific Computing, 78:1, (433-466), Online publication date: 1-Jan-2019.
- Ivie P and Thain D (2018). Reproducibility in Scientific Computing, ACM Computing Surveys, 51:3, (1-36), Online publication date: 31-May-2019.
- Gfrerer M and Schanz M (2018). Code verification examples based on the method of manufactured solutions for Kirchhoff---Love and Reissner---Mindlin shell analysis, Engineering with Computers, 34:4, (775-785), Online publication date: 1-Oct-2018.
- Sargent R and Balci O History of verification and validation of simulation models Proceedings of the 2017 Winter Simulation Conference, (1-16)
- Phillips T, Derlaga J, Roy C and Borggaard J (2017). Error transport equation boundary conditions for the Euler and Navier-Stokes equations, Journal of Computational Physics, 330:C, (46-64), Online publication date: 1-Feb-2017.
- Matouš K, Geers M, Kouznetsova V and Gillman A (2017). A review of predictive nonlinear theories for multiscale modeling of heterogeneous materials, Journal of Computational Physics, 330:C, (192-220), Online publication date: 1-Feb-2017.
- Halpern F, Ricci P, Jolliet S, Loizu J, Morales J, Mosetto A, Musil F, Riva F, Tran T and Wersal C (2016). The GBS code for tokamak scrape-off layer simulations, Journal of Computational Physics, 315:C, (388-408), Online publication date: 15-Jun-2016.
- Thorne J and Katz A (2016). Source Term Discretization Effects on the Steady-State Accuracy of Finite Volume Schemes, Journal of Scientific Computing, 69:1, (146-169), Online publication date: 1-Oct-2016.
- Yuan J and Ng S (2015). Calibration, Validation, and Prediction in Random Simulation Models, ACM Transactions on Modeling and Computer Simulation, 25:3, (1-25), Online publication date: 7-May-2015.
- Benvenuti L, Kloss C and Pirker S Characterization of DEM particles by means of artificial neural networks and macroscopic experiments Proceedings of the 16th International Conference on Engineering Applications of Neural Networks (INNS), (1-8)
- Sargent R An introductory tutorial on verification and validation of simulation models Proceedings of the 2015 Winter Simulation Conference, (1729-1740)
- Barrett R, Crozier P, Doerfler D, Heroux M, Lin P, Thornquist H, Trucano T and Vaughan C (2015). Assessing the role of mini-applications in predicting key performance characteristics of scientific and engineering applications, Journal of Parallel and Distributed Computing, 75:C, (107-122), Online publication date: 1-Jan-2015.
- Kamojjala K, Brannon R, Sadeghirad A and Guilkey J (2015). Verification tests in solid mechanics, Engineering with Computers, 31:2, (193-213), Online publication date: 1-Apr-2015.
- Sargent R Verifying and validating simulation models Proceedings of the 2014 Winter Simulation Conference, (118-131)
- Pasdunkorale Arachchige J and Pettet G (2014). A finite volume method with linearisation in time for the solution of advection-reaction-diffusion systems, Applied Mathematics and Computation, 231:C, (445-462), Online publication date: 15-Mar-2014.
- Fullmer W, Lopez de Bertodano M, Chen M and Clausse A (2014). Analysis of stability, verification and chaos with the Kreiss-Yström equations, Applied Mathematics and Computation, 248:C, (28-46), Online publication date: 1-Dec-2014.
- Dosanjh S, Barrett R, Doerfler D, Hammond S, Hemmert K, Heroux M, Lin P, Pedretti K, Rodrigues A, Trucano T and Luitjens J (2014). Exascale design space exploration and co-design, Future Generation Computer Systems, 30:C, (46-58), Online publication date: 1-Jan-2014.
- Sargent R An introduction to verification and validation of simulation models Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (321-327)
- Jun Y and Ng S An entropy based sequential calibration approach for stochastic computer models Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (589-600)
- Wahba E (2013). Non-systematic grid refinement procedures for computational fluid dynamics, Applied Mathematics and Computation, 225, (829-842), Online publication date: 1-Dec-2013.
- Langston J, Leonard I and Steurer M Estimation of discretization error in electromagnetic transient simulation models of power systems Proceedings of the 2011 Grand Challenges on Modeling and Simulation Conference, (161-166)
Index Terms
- Verification and Validation in Scientific Computing