Student or educator? Sign up with your school email and get 6 months of Pro free.
Cited by 1,150

The DOI matches its Crossref record.

Verification and validation in computational fluid dynamics

Oberkampf, William L., Trucano, Timothy G.·2002·Progress in Aerospace Sciences

Abstract

Abstract Verification and validation (V&V) are the primary means to assess accuracy and reliability in computational simulations. This paper presents an extensive review of the literature in V&V in computational fluid dynamics (CFD), discusses methods and procedures for assessing V&V, and develops a number of extensions to existing ideas. The review of the development of V&V terminology and methodology points out the contributions from members of the operations research, statistics, and CFD communities. Fundamental issues in V&V are addressed, such as code verification versus solution verification, model validation versus solution validation, the distinction between error and uncertainty, conceptual sources of error and uncertainty, and the relationship between validation and prediction. The fundamental strategy of verification is the identification and quantification of errors in the computational model and its solution. In verification activities, the accuracy of a computational solution is primarily measured relative to two types of highly accurate solutions: analytical solutions and highly accurate numerical solutions. Methods for determining the accuracy of numerical solutions are presented and the importance of software testing during verification activities is emphasized. The fundamental strategy of validation is to assess how accurately the computational results compare with the experimental data, with quantified error and uncertainty estimates for both. This strategy employs a hierarchical methodology that segregates and simplifies the physical and coupling phenomena involved in the complex engineering system of interest. A hypersonic cruise missile is used as an example of how this hierarchical structure is formulated. The discussion of validation assessment also encompasses a number of other important topics. A set of guidelines is proposed for designing and conducting validation experiments, supported by an explanation of how validation experiments are different from traditional experiments and testing. A description is given of a relatively new procedure for estimating experimental uncertainty that has proven more effective at estimating random and correlated bias errors in wind-tunnel experiments than traditional methods. Consistent with the authors’ contention that nondeterministic simulations are needed in many validation comparisons, a three-step statistical approach is offered for incorporating experimental uncertainties into the computational analysis. The discussion of validation assessment ends with the topic of validation metrics, where two sample problems are used to demonstrate how such metrics should be constructed. In the spirit of advancing the state of the art in V&V, the paper concludes with recommendations of topics for future research and with suggestions for needed changes in the implementation of V&V in production and commercial software.

Overview

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.1016/s0376-0421(02)00005-2

Cites

Statistics

Verification

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Citations

Cites

No references could be resolved yet.

Research works printed but not linked: 237

  1. Abgrall R, Desideri JA. The European hypersonic database: a new CFD validation tool for the design of space vehicles. AIAA-93-3045, 1993. · doi:10.2514/6.1993-3045
  2. Aeschliman DP, Oberkampf WL. Experimental methodology for computational fluid dynamics code validation. SAND95-1189, Sandia National Laboratories, Albuquerque, NM, 1997. · doi:10.2172/563720
  3. Aeschliman, 1998, Experimental methodology for computational fluid dynamics code validation, AIAA J, 36, 733, 10.2514/2.461 · doi:10.2514/2.461
  4. Aeschliman DP, Oberkampf WL, Blottner FG. A proposed methodology for CFD code verification, calibration, and validation, Paper 95-CH3482-7, 1995. · doi:10.1109/iciasf.1995.519133
  5. Agonafer D, editor. Solutions to CFD benchmark problems in electronic packaging, HTD-vol. 255. New York: The American Society of Mechanical Engineers, 1993.
  6. Alapaty, 1997, Uncertainty in the specification of surface characteristics, Boundary-Layer Meteorol, 82, 473, 10.1023/A:1017166907476 · doi:10.1023/a:1017166907476
  7. Alvin KF, Oberkampf WL, Rutherford BM, Diegert KV. Methodology for characterizing modeling and discretization uncertainties in computational simulation. SAND2000-0515, Sandia National Laboratories, Albuquerque, NM, 2000. · doi:10.2172/752055
  8. Babuska, 1997, A posteriori error estimation for finite element solutions of Helmholtz’ equation—Part II, Int J Numer Methods Eng, 40, 3883, 10.1002/(SICI)1097-0207(19971115)40:21<3883::AID-NME231>3.0.CO;2-V · doi:10.1002/(sici)1097-0207(19971115)40:21<3883::aid-nme231>3.0.co;2-v
  9. Babuska, 1987, Pollution problem of the p- and h-p versions of the finite element method, Commun Appl Numer Methods, 3, 553, 10.1002/cnm.1630030617 · doi:10.1002/cnm.1630030617
  10. Babuska, 1995, A posteriori estimation and adaptive control of the pollution error in the h-version of the finite element method, Int J Numer Methods Eng, 38, 4207, 10.1002/nme.1620382408 · doi:10.1002/nme.1620382408
  11. Bailey MP, Kemple WG. The scientific method of choosing model fidelity. 1992 Winter Simulation Conference Proceedings. Arlington, VA, 1992. p. 790–7. · doi:10.1145/167293.167723
  12. Balachandar, 1997, Properties of the mean recirculation region in the wakes of two-dimensional bluff bodies, J Fluid Mech, 351, 167, 10.1017/S0022112097007179 · doi:10.1017/s0022112097007179
  13. Balci, Formulated problem verification as an explicit requirement of model credibility, Simulation, 1985, 76
  14. Balci, 1984, A bibliography on the credibility assessment and validation of simulation and mathematical models, Simuletter, 15, 15
  15. Barber, 1998, Role of code validation and certification in the design environment, AIAA J, 36, 752, 10.2514/2.433 · doi:10.2514/2.433
  16. Barkley, 1996, Three-dimensional floquet stability analysis of the wake of a circular cylinder, J Fluid Mech, 322, 215, 10.1017/S0022112096002777 · DOI · Paper page
  17. Barragy, 1997, Stream function-vorticity driven cavity solution using p finite elements, Comput Fluids, 26, 453, 10.1016/S0045-7930(97)00004-2 · doi:10.1016/s0045-7930(97)00004-2
  18. Beck, 1987, Water quality modeling, Water Resour Res, 23, 1393, 10.1029/WR023i008p01393 · DOI · Paper page
  19. Benek, 1998, Validation issues for engine—airframe integration, AIAA J, 36, 759, 10.2514/2.434 · doi:10.2514/2.434
  20. Bertin JJ, Martellucci A, Neumann RD, Stetson KF. Developing a data base for the calibration and validation of hypersonic CFD codes—sharp cones. AIAA Paper No. 93-3044, 1993. · doi:10.2514/6.1993-3044
  21. Blackwell BF, Armaly BF, ediors. Computational aspects of heat transfer: benchmark problems, ASME HTD-vol. 258. New York: American Society of Mechanical Engineers, 1993.
  22. Blackwell BF, Pepper DW, editors. Benchmark problems for heat transfer codes, ASME HTD-vol. 222. New York: American Society of Mechanical Engineers, 1992.
  23. Blottner, 1974, Variable grid scheme applied to turbulent boundary layers, Comput Methods Appl Mech Eng, 4, 179, 10.1016/0045-7825(74)90033-4 · doi:10.1016/0045-7825(74)90033-4
  24. Blottner, 1975, Investigation of some finite-difference techniques for solving the boundary layer equations, Comput Methods Appl Mech Eng, 6, 1, 10.1016/0045-7825(75)90012-2 · doi:10.1016/0045-7825(75)90012-2
  25. Blottner FG. Introduction to computational techniques for boundary layers. SAND79-0893, Sandia National Laboratories, Albuquerque, NM, 1979. · doi:10.2172/6037417
  26. Blottner, 1982, Influence of boundary approximations and conditions on finite-difference solutions, J Comput Phys, 48, 246, 10.1016/0021-9991(82)90049-3 · doi:10.1016/0021-9991(82)90049-3
  27. Blottner, 1990, Accurate Navier–Stokes results for the hypersonic flow over a spherical nosetip, J Spacecraft Rockets, 27, 113, 10.2514/3.26115 · doi:10.2514/3.26115
  28. Blottner FJ, Lopez AR. Determination of solution accuracy of numerical schemes as part of code and calculation verification. SAND98-2222, Sandia National Laboratories, Albuquerque, NM, 1998. · doi:10.2172/1044
  29. Botella, 2001, Computing singular solutions of the Navier–Stokes equations with the Chebyshev-collocation method, Int J Numer Methods Fluids, 36, 125, 10.1002/fld.121 · doi:10.1002/fld.121
  30. Botta, 1972, The numerical solution of the Navier–Stokes equations for laminar, incompressible flow past a parabolic cylinder, J Eng Math, 6, 63, 10.1007/BF01535240 · doi:10.1007/bf01535240
  31. Bowen, 1995, 10-commandments of formal methods, Computer, 28, 56, 10.1109/2.375178 · doi:10.1109/2.375178
  32. Bussoletti JE. CFD calibration and validation: the challenges of correlating computational model results with test data. AIAA-94-2542, 1994. · doi:10.2514/6.1994-2542
  33. Carpenter, 1999, Accuracy of shock capturing in two spatial dimensions, AIAA J, 37, 1072, 10.2514/2.835 · doi:10.2514/2.835
  34. Caughlin D. Verification, validation, and accreditation (VV&A) of models and simulations through reduced order metamodels. 1995 Winter Simulation Conference, Arlington, VA, 1995. p. 1404–12.
  35. Celik I, Hassan Y, Hughes D, Johnson R, Sommerfeld M, editors. Experimental and computational aspects of validation of multiphase flow CFD codes, FED-vol. 180. New York: The American Society of Mechanical Engineers, United Engineering Center, 1994.
  36. Celik, 1995, Calculation of numerical uncertainty using Richardson extrapolation, J Fluids Eng, 117, 439, 10.1115/1.2817281 · doi:10.1115/1.2817281
  37. Chapman, 1975, Computers vs. wind tunnels, Astronaut Aeronaut, 13, 22
  38. Chiang, 1999, A numerical revisit of backward-facing step flow problem, Phys Fluids, 11, 862, 10.1063/1.869958 · doi:10.1063/1.869958
  39. Chlond, 2000, Large-eddy simulation of a nocturnal stratocumulus-topped marine atmospheric boundary layer, Boundary-Layer Meteorol, 95, 31, 10.1023/A:1002438701638 · doi:10.1023/a:1002438701638
  40. Chorin AJ, Kast AP, Kupferman R. On the prediction of large-scale dynamics using unresolved computations. LBNL-42283, Lawrence Berkeley National Laboratory, Berkeley, CA 1998 · doi:10.1090/conm/238/03539
  41. Chorin, 1998, Optimal prediction of underresolved dynamics, Proc Natl Acad Sci, 95, 4094, 10.1073/pnas.95.8.4094 · doi:10.1073/pnas.95.8.4094
  42. Chorin, 1999, Unresolved computation and optimal prediction, Commun Pure Appl Math, 52, 1231, 10.1002/(SICI)1097-0312(199910)52:10<1231::AID-CPA3>3.0.CO;2-C · doi:10.1002/(sici)1097-0312(199910)52:10<1231::aid-cpa3>3.0.co;2-c
  43. Cohen ML, Rolph JE, Steffey DL, editors. Statistics, testing, and defense acquisition: new approaches and methodological improvements. Washington, DC: National Academy Press, 1998.
  44. Cole JD, Cook LP, Schleiniger G. Analysis of a glancing shock moving past a wedge. AIAA-98-2688, 1998. · doi:10.2514/6.1998-2688
  45. Coleman, 1997, Uncertainties and CFD code validation, J Fluids Eng, 119, 795, 10.1115/1.2819500 · doi:10.1115/1.2819500
  46. Conway, 1963, Some tactical problems in digital simulation, Manage Sci, 10, 47, 10.1287/mnsc.10.1.47 · doi:10.1287/mnsc.10.1.47
  47. Cosner, RR. Issues in aerospace application of CFD analysis. AIAA Paper No. 94-0464, 1994. · doi:10.2514/6.1994-464
  48. Cosner RR. CFD validation requirements for technology transition. AIAA Paper No. 95-2227, 1995. · doi:10.2514/6.1995-2227
  49. Cosner RR. The role of validation in the CFD process at McDonnell Douglas/St. Louis. AIAA-96-2273, 1996. · doi:10.2514/6.1996-2273
  50. Cosner RR. Experimental data needs for risk management in CFD applications. AIAA Paper No. 98-2781, 1998. · doi:10.2514/6.1998-2781
  51. Cukier, 1978, Nonlinear sensitivity analysis of multiparameter model systems, J Comput Phys, 26, 1, 10.1016/0021-9991(78)90097-9 · DOI · Paper page
  52. Davis PA, Olague NE, Goodrich MT. Approaches for the validation of models used for performance assessment of high-level nuclear waste repositories. NUREG/CR-5537; SAND90-0575, Sandia National Laboratories, Albuquerque, NM, 1991. · doi:10.2172/5914752
  53. Davis, 1967, Laminar incompressible flow past a semi-infinite flat plate, J Fluid Mech, 27, 691, 10.1017/S002211206700254X · doi:10.1017/s002211206700254x
  54. Davis, 1972, Numerical solution of the Navier–Stokes equations for symmetric laminar incompressible flow past a parabola, J Fluid Mech, 51, 417, 10.1017/S0022112072002265 · doi:10.1017/s0022112072002265
  55. de Vahl Davis, 1983, Natural convection of air in a square cavity, Int J Numer Methods Fluids, 3, 249, 10.1002/fld.1650030305 · DOI
  56. Dennis, 1971, Numerical solutions for steady symmetric viscous flow past a parabolic cylinder in a uniform stream, J Fluid Mech, 50, 801, 10.1017/S0022112071002891 · doi:10.1017/s0022112071002891
  57. Dery, 1993, Revisiting the issue of model validation in OR, Eur J Oper Res, 66, 168, 10.1016/0377-2217(93)90311-A · DOI
  58. Desideri JA, Glowinski R, Periaux J, editors. Hypersonic flows for reentry problems, vol. I: Survey lectures and test cases for analysis. Berlin: Springer, 1991.
  59. Desideri JA, Glowinski R, Periaux J, editors. Hypersonic flows for reentry problems, vol. II: Test cases-experiments and computations. Berlin: Springer, 1991.
  60. Dietrich, 1990, Convergence studies with the Sandia Ocean Modeling system, Int J Numer Methods Fluids, 11, 127, 10.1002/fld.1650110202 · doi:10.1002/fld.1650110202
  61. DiMascio A, Paciorri R, Favini B. Convergence of two numerical schemes for turbulent boundary layer computations. AIAA 98-3009, 1998. · doi:10.2514/6.1998-3009
  62. Dolling, 1998, High-speed turbulent separated flows, AIAA J, 36, 725, 10.2514/2.460 · doi:10.2514/2.460
  63. Draper, 1995, Assessment and propagation of model uncertainty, J R Stat Soc B, 57, 45, 10.1111/j.2517-6161.1995.tb02015.x · DOI · Paper page
  64. Du, 1997, Short-range ensemble forecasting of quantitative precipitation, Mon Weather Rev, 125, 2427, 10.1175/1520-0493(1997)125<2427:SREFOQ>2.0.CO;2 · doi:10.1175/1520-0493(1997)125<2427:srefoq>2.0.co;2
  65. Dwoyer D. The relation between computational fluid dynamics and experiment, AIAA Ground Testing Conf. 1992.
  66. Ethier, 1994, Exact fully 3D Navier–Stokes solutions for benchmarking, Int J Numer Methods Fluids, 19, 369, 10.1002/fld.1650190502 · doi:10.1002/fld.1650190502
  67. Ferson, 1996, Different methods are needed to propagate ignorance and variability, Reliability Eng System Saf, 54, 133, 10.1016/S0951-8320(96)00071-3 · DOI · Paper page
  68. Ferziger, 1996, Further discussion of numerical errors in CFD, Int J Numer Methods Fluids, 23, 1263, 10.1002/(SICI)1097-0363(19961230)23:12<1263::AID-FLD478>3.0.CO;2-V · DOI
  69. Fletcher, 1983, Generating exact solutions of the two-dimensional burgers equations, Int J Numer Methods Fluids, 3, 213, 10.1002/fld.1650030302 · doi:10.1002/fld.1650030302
  70. Folland GB. Introduction to partial differential equations, 2nd ed. Princeton, NJ: Princeton University Press, 1996.
  71. Fortin, 1997, Localization of HOPF bifurcations in fluid flow problems, Int J Numer Methods Fluids, 24, 1185, 10.1002/(SICI)1097-0363(19970615)24:11<1185::AID-FLD535>3.0.CO;2-X · doi:10.1002/(sici)1097-0363(19970615)24:11<1185::aid-fld535>3.0.co;2-x
  72. Fossett, 1991, An assessment procedure for simulation models, Oper Res, 39, 710, 10.1287/opre.39.5.710 · doi:10.1287/opre.39.5.710
  73. Frank, 1999, Treatment of uncertainties in space nuclear risk assessment with examples from Cassini mission applications, Reliability Eng System Saf, 66, 203, 10.1016/S0951-8320(99)00002-2 · DOI
  74. Freitas CJ, editor. The CFD triathlon: three laminar flow simulations by commercial CFD Codes, FED-vol. 160. New York: The American Society of Mechanical Engineers, United Engineering Center, 1993.
  75. Frey, 1996, Characterizing, simulating, and analyzing variability and uncertainty, Hum Ecol Risk Assess, 2, 762, 10.1080/10807039609383650 · DOI
  76. Gallopoulos, 1997, CSE, IEEE Comput Sci Eng, 4, 39, 10.1109/99.609830 · doi:10.1109/99.609830
  77. Gartling, 1990, A test problem for outflow boundary conditions-flow over a backward-facing step, Int J Numer Methods Fluids, 11, 953, 10.1002/fld.1650110704 · doi:10.1002/fld.1650110704
  78. Gass, 1993, Model Accreditation, Eur J Oper Res, 66, 250, 10.1016/0377-2217(93)90316-F · DOI
  79. Gerbeau, 1997, Spurious velocities in the steady flow of an incompressible fluid subjected to external forces, Int J Numer Methods Fluids, 25, 679, 10.1002/(SICI)1097-0363(19970930)25:6<679::AID-FLD582>3.0.CO;2-Q · doi:10.1002/(sici)1097-0363(19970930)25:6<679::aid-fld582>3.0.co;2-q
  80. Gervais, 1997, Some experiments with stability analysis of discrete incompressible flow in the lid-driven cavity, Int J Numer Methods Fluids, 24, 477, 10.1002/(SICI)1097-0363(19970315)24:5<477::AID-FLD500>3.0.CO;2-S · doi:10.1002/(sici)1097-0363(19970315)24:5<477::aid-fld500>3.0.co;2-s
  81. Ghia, 1982, High-Re solutions for incompressible flow using the Navier–Stokes equations and a multigrid method, J Comput Phys, 48, 387, 10.1016/0021-9991(82)90058-4 · DOI · Paper page
  82. Goldstein D, Hughes D, Johnson R, Lankford D, editors. Data for validation of CFD codes, FED-vol. 146. New York: The American Society of Mechanical Engineers, United Engineering Center, 1993.
  83. Gosman AD. Quality assurance for industrial CFD codes. AIAA 98-2637, 1998. · doi:10.2514/6.1998-2637
  84. Graves Jr. R. Software validation: the bridge from R&D to industrial application. AIAA-92-0587, 1992. · doi:10.2514/6.1992-587
  85. Grenda JM, Schwer DA, Merkle CL. Use of analytical solutions in validating unsteady CFD Codes. AIAA-96-2164, 1996. · doi:10.2514/6.1996-2164
  86. Gresho, 1993, Is the steady viscous incompressible two-dimensional flow over a backward-facing step at Re=800 stable?, Int J Numer Methods Fluids, 17, 501, 10.1002/fld.1650170605 · DOI
  87. Grinstein, 1994, Open boundary conditions in the simulation of subsonic turbulent shear flows, J Comput Phys, 115, 43, 10.1006/jcph.1994.1177 · doi:10.1006/jcph.1994.1177
  88. Guerrero, 1992, Integral transform solution for the lid-driven cavity flow problem in streamfunction-only formulation, Int J Numer Methods Fluids, 15, 399, 10.1002/fld.1650150403 · doi:10.1002/fld.1650150403
  89. Guerrero, 1996, Benchmark integral transform results for flow over a backward-facing step, Comput Fluids, 25, 527, 10.1016/0045-7930(96)00005-9 · doi:10.1016/0045-7930(96)00005-9
  90. Gustafson, 1998, Computational verifiability and feasibility of the ASCI program, IEEE Comput Sci Eng, 5, 36, 10.1109/99.660304 · doi:10.1109/99.660304
  91. Gustafson K. Capturing correct solutions in CFD, 515. Sixteenth International Conference on Numerical Methods in Fluid Dynamics. Arcachon, France, 1998. p. 171–6. · doi:10.1007/bfb0106579
  92. Hamill, 1995, A probabilistic forecast contest and the difficulty in assessing short-range forecast uncertainty, Weather Forecasting, 10, 620, 10.1175/1520-0434(1995)010<0620:APFCAT>2.0.CO;2 · DOI
  93. Hamilton, 1991, Model validation, Commun Stat-Theory Methods, 20, 2207, 10.1080/03610929108830628 · doi:10.1080/03610929108830628
  94. Hansen, 1994, An integral equation justification of the boundary conditions of the driven-cavity problem, Comput Fluids, 23, 225, 10.1016/0045-7930(94)90036-1 · doi:10.1016/0045-7930(94)90036-1
  95. Hanson, 1999, A framework for assessing uncertainties in simulation predictions, Physica D, 133, 179, 10.1016/S0167-2789(99)00090-1 · doi:10.1016/s0167-2789(99)00090-1
  96. Hatton, 1997, The T experiments, IEEE Comput Sci Eng, 4, 27, 10.1109/99.609829 · DOI
  97. Haworth, 1993, A global approach to error estimation and physical diagnostics in multidimensional computational fluid dynamics, Int J Numer Methods Fluids, 17, 75, 10.1002/fld.1650170106 · doi:10.1002/fld.1650170106
  98. Haynes TS, Reed HL, Saric WS. CFD validation issues in transition modeling. AIAA-96-2051, 1996. · doi:10.2514/6.1996-2051
  99. Helton, 1993, Uncertainty and sensitivity analysis techniques for use in performance assessment for radioactive waste disposal, Reliability Eng System Saf, 42, 327, 10.1016/0951-8320(93)90097-I · DOI · Paper page
  100. Helton, 1994, Treatment of uncertainty in performance assessments for complex systems, Risk Anal, 14, 483, 10.1111/j.1539-6924.1994.tb00266.x · DOI · Paper page
  101. Helton, 1997, Uncertainty and sensitivity analysis in the presence of stochastic and subjective uncertainty, J Stat Comput Simul, 57, 3, 10.1080/00949659708811803 · DOI · Paper page
  102. Helton, 1999, Uncertainty and sensitivity analysis in performance assessment for the waste isolation pilot plant, Comput Phys Commun, 117, 156, 10.1016/S0010-4655(98)00171-4 · DOI
  103. Hills RG, Trucano TG. Statistical validation of engineering and scientific models with application to CTH. SAND2001-0312, Sandia National Laboratories, Albuquerque, NM, 2001. · doi:10.2172/782589
  104. Hoffman, 1994, Propagation of uncertainty in risk assessments, Risk Anal, 14, 707, 10.1111/j.1539-6924.1994.tb00281.x · DOI · Paper page
  105. Holden MS, Moselle JR. A database of aerothermal measurements in hypersonic flow for CFD validation. AIAA Paper No. 92-4023, 1992. · doi:10.2514/6.1992-4023
  106. Holden MS, Moselle JR, Sweet SJ, Martin SC. A database of aerothermal measurements in hypersonic flow for CFD validation. AIAA Paper No. 96-4597, 1996. · doi:10.2514/6.1996-4597
  107. Hora, 1996, Aleatory and epistemic uncertainty in probability elicitation with an example from hazardous waste management, Reliability Eng System Saf, 54, 217, 10.1016/S0951-8320(96)00077-4 · DOI · Paper page
  108. Hortmann, 1990, Finite volume multigrid prediction of laminar natural convection, Int J Numer Methods Fluids, 11, 189, 10.1002/fld.1650110206 · doi:10.1002/fld.1650110206
  109. Hutton AG, Casey MV. Quality and trust in industrial CFD—a European perspective. AIAA2001-0656, 2001. · doi:10.2514/6.2001-656
  110. IEEE. IEEE standard dictionary of electrical and electronics terms. ANSI/IEEE Std 100-1984, 1984.
  111. IEEE. IEEE standard glossary of software engineering terminology. IEEE, IEEE Std 610.12-1990, New York, 1991.
  112. Iman, 1988, An investigation of uncertainty and sensitivity analysis techniques for computer models, Risk Anal, 8, 71, 10.1111/j.1539-6924.1988.tb01155.x · DOI · Paper page
  113. Jameson, 1998, Mesh refinement and modeling errors in flow simulation, AIAA J, 36, 676, 10.2514/2.453 · doi:10.2514/2.453
  114. Johnson, 1996, A review of fault management techniques used in safety-critical avionic systems, Prog Aerosp Sci, 32, 415, 10.1016/0376-0421(96)82785-0 · DOI
  115. Kammeyer ME. Wind tunnel facility calibrations and experimental uncertainty. AIAA 98-2715, 1998. · doi:10.2514/6.1998-2715
  116. Karniadakis, 1992, Three-dimensional dynamics and transition to turbulence in the wake of bluff objects, J Fluid Mech, 238, 1, 10.1017/S0022112092001617 · DOI · Paper page
  117. Ketelle RH, Lee RR, Bownds JM, Rizk TA. Model validation lessons learned: a case study at Oak Ridge National Laboratory. CONF-89085406/DE89 015900, Oak Ridge National Laboratory, Oak Ridge, TN, 1989. · doi:10.2172/330567
  118. Kleijnen JPC. Statistical validation of simulation models. Eur J Oper Res 1995;21–34. · doi:10.1016/0377-2217(95)00132-a
  119. Kleijnen, 1995, Verification and validation of simulation models, Eur J Oper Res, 82, 145, 10.1016/0377-2217(94)00016-6 · DOI · Paper page
  120. Kleindorfer, 1998, Validation in simulation, Manage Sci, 44, 1087, 10.1287/mnsc.44.8.1087 · DOI · Paper page
  121. Kurshan, 2000, Program verification, Notices Am Math Soc, 47, 534
  122. Landry, 1983, Model validation in operations research, Eur J Oper Res, 14, 207, 10.1016/0377-2217(83)90257-6 · DOI · Paper page
  123. Landry, 1993, In search of a valid view of model validation for operations research, Eur J Oper Res, 66, 161, 10.1016/0377-2217(93)90310-J · doi:10.1016/0377-2217(93)90310-j
  124. Laskey, 1996, Model uncertainty, IEEE Trans Systems, Man and Cybernetics-Part A: Systems Hum, 26, 340, 10.1109/3468.487959 · DOI
  125. Lee, 1996, On statistical model validation, journal of dynamic systems, Meas Control, 118, 226, 10.1115/1.2802308 · DOI
  126. Leijnse, 1994, Model definition and model validation, Adv Water Resour, 17, 197, 10.1016/0309-1708(94)90041-8 · doi:10.1016/0309-1708(94)90041-8
  127. Lin SJ, Barson SL, Sindir MM. Development of evaluation criteria and a procedure for assessing predictive capability and code performance. Advanced Earth-to-Orbit Propulsion Technology Conference. Marshall Space Flight Center, Huntsville, AL, 1992.
  128. Mair, 1999, Benchmarks for submerged structure response to underwater explosions, Shock Vibration, 6, 169, 10.1155/1999/743708 · doi:10.1155/1999/743708
  129. Marciniak JJ, editor. Encyclopedia of software engineering. New York: Wiley, 1994.
  130. Martellucci A. The challenging process of validating CFD codes. AIAA-90-1402, 1990. · doi:10.2514/6.1990-1402
  131. Marvin JG. CFD Validation experiments for hypersonic flows. AIAA-92-4024, 1992. · doi:10.2514/6.1992-4024
  132. Marvin, 1995, Perspective on computational fluid dynamics validation, AIAA J, 33, 1778, 10.2514/3.12727 · doi:10.2514/3.12727
  133. Mehta, 1990, Computational requirements for hypersonic flight performance estimates, J Spacecraft Rockets, 27, 103, 10.2514/3.26114 · doi:10.2514/3.26114
  134. Mehta, 1991, Some aspects of uncertainty in computational fluid dynamics results, J Fluids Eng, 113, 538, 10.1115/1.2926512 · doi:10.1115/1.2926512
  135. Mehta, 1996, Guide to credible computer simulations of fluid flows, J Propulsion Power, 12, 940, 10.2514/3.24126 · doi:10.2514/3.24126
  136. Milliken GA, Johnson DE. Analysis of messy data, vol. 1: Designed experiments. Belmont, CA: Lifetime Learning Publications, 1984.
  137. Miser, 1993, A foundational concept of science appropriate for validation in operational research, Eur J Oper Res, 66, 204, 10.1016/0377-2217(93)90313-C · DOI
  138. Mittal, 1995, Effect of three-dimensionality on the lift and drag of nominally two-dimensional cylinders, Phys Fluids, 7, 1841, 10.1063/1.868500 · DOI
  139. Mittal R, Balachandar S. Vortical structures in bluff body wakes. AIAA-95-0867, 1995. · doi:10.2514/6.1995-867
  140. Najjar, 1995, Effects of intrinsic three-dimensionality on the drag characteristics of a normal flat plate, Phys Fluids, 7, 2516, 10.1063/1.868698 · doi:10.1063/1.868698
  141. Naylor, 1967, Verification of computer simulation models, Manage Sci, 14, 92, 10.1287/mnsc.14.2.B92 · DOI · Paper page
  142. Neumann RD. CFD validation—the interaction of experimental capabilities and numerical computations. AIAA Paper No. 90-3030, 1990. · doi:10.2514/6.1990-1401
  143. Nishida, 1992, Higher-order solutions of square driven cavity flow using a variable-order multi-grid method, Int J Numer Methods Eng, 34, 637, 10.1002/nme.1620340215 · doi:10.1002/nme.1620340215
  144. Nordstrom, 1994, Accurate solutions of the Navier–Stokes equations despite unknown outflow boundary data, J Comput Phys, 120, 184, 10.1006/jcph.1995.1158 · doi:10.1006/jcph.1995.1158
  145. NRC. Statistical software engineering, National Research Council. Washington, DC: National Academy Press, 1996.
  146. O’Connell, 2000, Can you trust software capability evaluations?, Computer, 33, 28, 10.1109/2.820036 · doi:10.1109/2.820036
  147. Oberkampf WL. A proposed framework for computational fluid dynamics code calibration/validation. AIAA Paper No. 94-2540, 1994. · doi:10.2514/6.1994-2540
  148. Oberkampf WL. Bibliography for verification and validation in computational simulation. SAND98-2041, Sandia National Laboratories, Albuquerque, NM, 1998. · doi:10.2172/701
  149. Oberkampf, 1992, Joint computational/experimental aerodynamics research on a hypersonic vehicle, AIAA J, 30, 2000, 10.2514/3.11172 · doi:10.2514/3.11172
  150. Oberkampf WL, Aeschliman DP, Henfling JF, Larson DE. Surface pressure measurements for CFD code validation in hypersonic flow. AIAA Paper No. 95-2273, 1995. · doi:10.2172/101212
  151. Oberkampf WL, Aeschliman DP, Henfling JF, Larson DE, and Payne, JL. Surface pressure measurements on a hypersonic vehicle. AIAA Paper No. 96-0669, 1996. · doi:10.2514/6.1996-669
  152. Oberkampf, 1998, Issues in computational fluid dynamics code verification and validation, AIAA J, 36, 687, 10.2514/2.456 · doi:10.2514/2.456
  153. Oberkampf WL, Blottner FG, Aeschliman DP. Methodology for computational fluid dynamics code verification/validation. AIAA Paper No. 95-2226, 1995. · doi:10.2514/6.1995-2226
  154. Oberkampf WL, DeLand SM, Rutherford BM, Diegert KV, Alvin KF. A new methodology for the estimation of total uncertainty in computational simulation. AIAA Paper No. 99-1612, 1999. · doi:10.2514/6.1999-1612
  155. Oberkampf WL, DeLand SM, Rutherford BM, Diegert KV, Alvin KF. Estimation of total uncertainty in computational simulation. SAND2000-0824, Sandia National Laboratories, Albuquerque, NM, 2000. · doi:10.2514/6.1999-1612
  156. Oberkampf WL, Diegert KV, Alvin KF, Rutherford BM. Variability, uncertainty, and error in computational simulations, ASME-HTD-vol. 357-2. New York: American Society of Mechanical Engineers, 1998.
  157. Oberkampf WL, Trucano TG. Validation methodology in computational fluid dynamics. AIAA 2000-2549, 2000. · doi:10.2514/6.2000-2549
  158. Oden, 1998, Local and pollution error estimation for Stokesian flow, Int J Numer Methods Fluids, 27, 33, 10.1002/(SICI)1097-0363(199801)27:1/4<33::AID-FLD648>3.0.CO;2-3 · doi:10.1002/(sici)1097-0363(199801)27:1/4<33::aid-fld648>3.0.co;2-3
  159. Oral, 1993, The facets of the modeling and validation process in operations research, Eur J Oper Res, 66, 216, 10.1016/0377-2217(93)90314-D · DOI
  160. Oren, 1981, Concepts and criteria to assess acceptability of simulation studies, Commun ACM, 24, 180, 10.1145/358598.358605 · DOI
  161. Oren TI, Zeigler BP, Elzas MS, editors. Simulation and model-based methodologies: an integrative view. Berlin: Springer, 1984. · doi:10.1007/978-3-642-82144-8
  162. Oreskes, 1994, Verification, validation, and confirmation of numerical models in the earth sciences, Science, 263, 641, 10.1126/science.263.5147.641 · DOI · Paper page
  163. Pace DK. Fidelity Considerations for RDE distributed simulation, 1. 1997 Fall Simulation Interoperability Workshop Papers 1997. p. 249–59.
  164. Pace DK. Dimensions and attributes of simulation fidelity, 1. 1998 Fall Simulation Interoperability Workshop Papers, 1998.
  165. Paciorri, 1998, Exploring the validity of the Spalart–Allmaras turbulence model for hypersonic flows, J Spacecraft Rockets, 35, 121, 10.2514/2.3307 · doi:10.2514/2.3307
  166. Palmer, 2000, Predicting uncertainty in forecasts of weather and climate, Rep Prog Phys, 63, 71, 10.1088/0034-4885/63/2/201 · DOI · Paper page
  167. Parry, 1996, The characterization of uncertainty in probabilistic risk assessments of complex systems, Reliability Eng System Saf, 54, 119, 10.1016/S0951-8320(96)00069-5 · doi:10.1016/s0951-8320(96)00069-5
  168. Paté-Cornell, 1996, Uncertainties in risk analysis, Reliability Eng System Saf, 54, 95, 10.1016/S0951-8320(96)00067-1 · DOI · Paper page
  169. Paulk MC, Weber CV, Curtis B, Chrissis MB, editors. The capability maturity model: guidelines for improving the software process. Reading, MA: Addison-Wesley, 1994.
  170. Peercy DE. Personal Communication, 2000. · doi:10.1038/35023223
  171. Pilch M, Trucano TG, Moya JL, Froehlich GK, Hodges AL, Peercy DE. Guidelines for Sandia ASCI verification and validation plans—content and format: Version 2. SAND2000-3101, Sandia National Laboratories, Albuquerque, NM, 2001. · doi:10.2172/750305
  172. Porter JL. A summary/overview of selected computational fluid dynamics (CFD) code validation/calibration activities. AIAA Paper No. 96-2053, 1996. · doi:10.2514/6.1996-2053
  173. Rai, 1996, A general framework for the analysis of uncertainty and variability in risk assessment, Hum Ecol Risk Assess, 2, 972, 10.1080/10807039609383658 · doi:10.1080/10807039609383658
  174. Reed, 1998, Computational fluid dynamics validation issues in transition modeling, AIAA J, 36, 742, 10.2514/2.432 · doi:10.2514/2.432
  175. Richardson, 1927, The deferred approach to the limit, Trans R Soc London, Ser A: Math Phys Sci, 226, 299, 10.1098/rsta.1927.0008 · DOI · Paper page
  176. Rizzi, 1998, Toward establishing credibility in computational fluid dynamics simulations, AIAA J, 36, 668, 10.2514/2.442 · doi:10.2514/2.442
  177. Roache, 1990, Need for control of numerical accuracy, J Spacecraft Rockets, 27, 98, 10.2514/3.26113 · doi:10.2514/3.26113
  178. Roache, 1994, Perspective, J Fluids Eng, 116, 405, 10.1115/1.2910291 · DOI · Paper page
  179. Roache, 1998, Verification of codes and calculations, AIAA J, 36, 696, 10.2514/2.457 · DOI · Paper page
  180. Roache, 1986, Editorial policy statement on the control of numerical accuracy, J Fluids Eng, 108, 2, 10.1115/1.3242537 · DOI · Paper page
  181. Roache, 1993, Completed Richardson extrapolation, Commun Numer Methods Eng, 9, 365, 10.1002/cnm.1640090502 · doi:10.1002/cnm.1640090502
  182. Roache, 1990, Experience with benchmark test cases for groundwater flow, FED-vol. 93, 49
  183. Rowe, 1994, Understanding uncertainty, Risk Anal, 14, 743, 10.1111/j.1539-6924.1994.tb00284.x · DOI
  184. Roy, 2001, Assessment of one- and two-equation turbulence models for hypersonic flows, J Spacecraft Rockets, 38, 699, 10.2514/2.3755 · DOI
  185. Roy CJ, McWherter-Payne MA, Oberkampf WL. Verification and validation for laminar hypersonic flowfields. AIAA2000-2550, 2000. · doi:10.2514/6.2000-2550
  186. Salari K, Knupp P. Code verification by the method of manufactured solutions. SAND2000-1444, Sandia National Labs, Albuquerque, NM, 2000. · DOI · Paper page
  187. Saltelli, 1997, Guest editorial, Reliability Eng System Saf, 57, 1, 10.1016/S0951-8320(97)00022-7 · DOI
  188. Sanders, 2000, Ensemble simulations of explosive cyclogenesis at ranges of 2–5 days, Mon Weather Rev, 128, 2920, 10.1175/1520-0493(2000)128<2920:ESOECA>2.0.CO;2 · DOI
  189. Sargent RG. An expository on verification and validation of simulation models. 1985 Winter Simulation Conference, Sacramento, CA, 1985. p. 15–22. · doi:10.1145/21850.253058
  190. Sargent RG. Validation of mathematical models. Symposium on Validation of Geosphere Flow and Transport Models, Stockholm, Sweden, 1990. p. 571–9.
  191. Sargent RG. Verifying and validating simulation models. 1996 Winter Simulation Conference, Coronado, CA, 1996. p. 55–64. · doi:10.1145/256562.256572
  192. Schlesinger, 1979, Terminology for model credibility, Simulation, 32, 103, 10.1177/003754977903200304 · DOI · Paper page
  193. Schreiber, 1983, Driven cavity flows by efficient numerical techniques, J Comput Phys, 49, 310, 10.1016/0021-9991(83)90129-8 · DOI · Paper page
  194. Serrano, 1995, Analytical solutions of the nonlinear groundwater flow equation in unconfined aquifers and the effect of heterogeneity, Water Resources Research, 31, 2733, 10.1029/95WR02038 · doi:10.1029/95wr02038
  195. Settles GS, Dodson LJ. Hypersonic shock/boundary-layer interaction database. NASA, Contractor Rept. 177577, 1991. · doi:10.2514/6.1991-1763
  196. Settles, 1994, Supersonic and hypersonic shock/boundary-layer interaction database, AIAA J, 32, 1377, 10.2514/3.12205 · doi:10.2514/3.12205
  197. Sheng, 1993, Model validation, Reliability Eng System Saf, 42, 247, 10.1016/0951-8320(93)90092-D · doi:10.1016/0951-8320(93)90092-d
  198. Shih, 1985, A procedure to debug computer-programs, Int J Numer Methods Eng, 21, 1027, 10.1002/nme.1620210605 · doi:10.1002/nme.1620210605
  199. Shih, 1989, Effects of grid staggering on numerical schemes, Int J Numer Methods Fluids, 9, 193, 10.1002/fld.1650090206 · doi:10.1002/fld.1650090206
  200. Shimazaki K, Himeno Y, Baba N. Quantification of uncertainty in computational fluid dynamics, FED-vol. 158, New York: The American Society of Mechanical Engineers, 1993.

200 of 237 shown

Cited by

See all 1,150

Metadata

Authors
Oberkampf, W. L., & Trucano, T. G.
Venue
Progress in Aerospace Sciences
Publisher
Elsevier BV
Published
2002-04
Volume
38
Issue
3
Pages
209-272
ISSN
0376-0421 (ISSN-L)
OpenAlex
W2135014481
Cited by
1,150
References
0
FWCI
21.52
Type
journal article
Language
en
Open access
closed
Licence
www.elsevier.com/tdm/userlicense/1.0/ (tdm)

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review

How to cite

Cite CoChat for the checks on this page, and the paper for its own findings.

This page
CoChat. (2026). Citation check: Verification and validation in computational fluid dynamics. https://app.cochat.ai/papers/10.1016/s0376-0421(02)00005-2
The paper
Oberkampf, W. L., & Trucano, T. G. (2002). Verification and validation in computational fluid dynamics. Progress in Aerospace Sciences. https://doi.org/10.1016/s0376-0421(02)00005-2

Data sources

Bibliographic data: Semantic Scholar, OpenAlex, Crossref.

Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).

Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.