Wk 02. Verification and Validation Fundamentals

Lecture Date: August 28, 2023 - Monday
Lecturer: Dr. Hamdi Kavak

In this lecture, we will discuss the basics of verification and validation (V&V) of models. We will start with V&V and its terminology from the lenses of different domains, such as modeling and simulation, software engineering, and systems engineering. Then, we will briefly talk about how simulation verification evolved. Since V&V is not an independent part of model development, we will investigate V&V’s role in various well-respected model development processes and life cycles. Finally, the lecture will be completed by introducing different types of verification and validation techniques.

Slides:

Download PDF

Assigned Reading:

None

Recommended Reading:

AIAA (1998). Guide for verification and validation of computational fluid dynamics simulations. American Institute of Aeronautics and Astronautics, AIAA-G-077-1998, Reston, VA
ASME (2006). Guide for Verification and Validation in Computational Solid Mechanics. ASME V V 10 – 2006.
Balci, Osman. “Verification, validation, and testing.” Handbook of simulation 10.8 (1998): 335-393.
Beyer, D., & Lemberger, T. (2017, November). Software verification: Testing vs. model checking. In Haifa Verification Conference (pp. 99-114). Springer, Cham.
DoD (1994). DoD Directive Number 5000.59: DoD Modeling and Simulation (M&S) Management.
IEEE (1984). IEEE Standard Dictionary of Electrical and Electronics Terms. ANSI/IEEE Std 100 – 1984, New York.
Kleindorfer, George B., Liam O’Neill, and Ram Ganeshan. “Validation in simulation: Various positions in the philosophy of science.” Management Science 44.8 (1998): 1087-1099.
Lynch, Christopher J., Diallo, Saikou Y., Kavak, Hamdi, and Padilla, Jose. “A content analysis-based approach to explore simulation verification and identify its current challenges.” PloS one 15.5 (2020): e0232929.
Sargent, Robert G. “Verification and validation of simulation models.” Journal of simulation 7.1 (2013): 12-24.
Schlesinger, S. (1979). Terminology for model credibility. Simulation, 32(3), 103-104.
Thacker, B.H.; Doebling, S.W.; Hemez, F.M.; Anderson, M.C.; Pepin, J.E.; Rodriguez, E.A. Concepts of Model Verification and Validation.
The MITRE Systems Engineering Guide. Pages: 419-424, Pages: 461-469