181. Towards a systematic approach to verification, validation and uncertainty quantification of computational models

Abstract:

Practical deployment of computational models in the medical domain requires a formalized approach to ensuring that such models meet the stated requirements, and that their outcomes can be relied upon in the diagnostic and treatment process. The goal of this seminar is to describe our to-date experience with the GEMINI project, which develops patient-specific models for treatment of ischemic and haemorrhagic stroke. Here, we apply the formal process embodied by the VV40 standard, as defined by the American Society for Mechanical Engineers (ASME). We will present the basic tenets of the process, and describe automated tools which we use to carry out VVUQ activities on HPC resources at ACK CYFRONET AGH.

About the author:

Piotr Nowakowski is the manager of the Scientific Programming Team at Sano, with longstanding experience in developing and overseeing development of customized IT tools in the domain of medical science. His work covers harnessing the power of HPC and cloud infrastructures, and working to ensure that these infrastructures are used in an efficient way in support of research projects.

Karol Zając holds a Master’s degree in Computer Science. Currently works as a Scientific Programmer at Sano. His research is primarily focused on HPC and scientific workflows including VVUQ processes. He is applying his expertise to adapt in silico computational models onto HPC infrastructure, ensuring scalability and efficiency at a large-scale.