Correctness - Verification and Validation

IBTFO undergoes significant testing to ensure correct operation. Synthetic tests are used to verify expected numerical performance Verification. Correctness of the results is established through a collection of physically meaningful tests that are used as the basis for a regression test suite Validation.

• Verification of IBTFO
  • Building and running MMS
  • Testing the Euler equations
  • Testing the compressible Navier-Stokes equations
  • Testing the adaptive mesh refinement algorithm
  • Testing the constant Smagorinsky Large Eddy Simulation model
• Verification of EB IBTFO
  • C1. Method of manufactured solutions for EB
  • C3. Zero dimensional ignition with embedded boundaries
  • C7. Sod shock tube in rotated channel with AMR
  • C8. Multi-species shock tube in a rotated channel with AMR
  • C9. Acoustic wave in cylindrical channel
  • C10. Hagen–Poiseuille flow
  • C12. Smooth periodic problem
  • C13. Supersonic vortex study
  • C14. Shock interacting with a ramp
• Validation of IBTFO
  • Decay of homogeneous isotropic turbulence
  • Taylor-Green vortex breakdown
  • Reacting Taylor-Green vortex breakdown
  • Counter flow diffusion flame
  • Counter flow premixed flame
  • Flame-Vortex interaction
  • Sandia Flame D
  • Premixed ignition kernel in isotropic turbulence