Building PDE codes to be verifiable and validatable

For codes that solve nonlinear partial differential equations (PDEs), powerful methodologies already exist for verification of codes, verification of calculations, and validation (V2V). If computational scientists and engineers are serious about these issues, they will take the responsibility and the relatively little extra effort to design (or modify) their codes so that independent users can confirm V2V.

[1]  G. Pólya,et al.  How to Solve It. A New Aspect of Mathematical Method. , 1945 .

[2]  K. Ghia,et al.  Editorial Policy Statement on the Control of Numerical Accuracy , 1986 .

[3]  P. Roache.  Need for Control of Numerical Accuracy , 1990 .

[4]  N Oreskes,et al.  Verification, Validation, and Confirmation of Numerical Models in the Earth Sciences , 1994, Science.

[5]  M. G. Marietta,et al.  Effect of alternative conceptual models in a preliminary performance assessment for the waste isolation pilot plant , 1995 .

[6]  Patrick J. Roache,et al.  Verification and Validation in Computational Science and Engineering , 1998 .

[7]  William L. Oberkampf,et al.  Guide for the verification and validation of computational fluid dynamics simulations , 1998 .

[8]  J. Oden,et al.  A Posteriori Error Estimation in Finite Element Analysis , 2000 .

[9]  J. Oden,et al.  A Posteriori Error Estimation in Finite Element Analysis: Oden/A Posteriori , 2000 .

[10]  Patrick Knupp,et al.  Code Verification by the Method of Manufactured Solutions , 2000 .

[11]  J. Cadafalch,et al.  Verification of Finite Volume Computations on Steady-State Fluid Flow and Heat Transfer , 2002 .

[12]  Timothy G. Trucano,et al.  Verification and Validation in Computational Fluid Dynamics , 2002 .

[13]  Robert B. Laughlin,et al.  The physical basis of computability , 2002, Computing in Science & Engineering.

[14]  Patrick Knupp,et al.  Verification of Computer Codes in Computational Science and Engineering , 2002 .

[15]  Timothy G. Trucano,et al.  Verification and Validation in Computational Fluid Dynamics , 2002 .

[16]  P. Roache.  Conservatism of the Grid Convergence Index in Finite Volume Computations on Steady-State Fluid Flow and Heat Transfer , 2003 .

[17]  Patrick Roache,et al.  Error Bars for CFD , 2003 .

[18]  Gusheng Hu,et al.  Single Grid Error Estimation Using Error Transport Equation , 2004 .

[19]  J. S. Turner,et al.  QUANTIFICATION OF UNCERTAINTY IN COMPUTATIONAL FLUID DYNAMICS , 2006 .

[20]  Timothy G. Trucano,et al.  Verification and validation. , 2005 .