ISC 5314

Verification and Validation in Computational Science

Graduate course
Sandia National Laboratory Z-machine

This course is intended for those who are interested in performing reliable computations.

Computer simulation is of critical importance in several engineering and basic science applications. Frequently it is the only way to study complex physics phenomena, design new or improve the existing engineering systems. Verification and validation is a centerpiece of modern computer code development environment and of critical importance for creating successful simulation tools.

This course will cover both theory and practice of verification and validation in computational sciences. You will learn basic terminology, procedures and practical methods used in software implementation verification and solution verification, use of exact and manufactured solutions, and elements of software quality assurance. Essential data analysis techniques will be introduced and a review of software development and maintenance tools will be given. Examples from physical sciences and engineering will be used to illustrate aspects of code validation including validation hierarchy, validation benchmarks, uncertainty quantification and simulation code predictive capabilities. Computational laboratory will be an essential part of the course.

Syllabus (doc, pdf)

Schedule

Resources

Course Blackboard (requires FSU login)

Course announcement poster

Last modified: .