Corrección para Sistemas de Computación Científica

Corrección para Sistemas de Computación Científica (CS²) es un programa conjunto de la Fundación Nacional de Ciencias (NSF) y el Departamento de Energía (DOE). El programa aborda desafíos que son fundamentales para la misión del DOE y esenciales para la misión de la NSF de garantizar un amplio progreso científico. El objetivo principal del programa es elevar la corrección como un requisito fundamental para las herramientas y cadenas de herramientas de computación científica, abarcando desde bibliotecas de bajo nivel hasta simulaciones complejas de multifísica y flujos de trabajo científicos emergentes. A un nivel elemental, la corrección de un sistema significa que las propiedades de comportamiento deseadas se satisfarán durante la ejecución del sistema. En el contexto de la computación científica, la corrección puede entenderse, tanto a nivel de software como de hardware, como la ausencia de comportamientos defectuosos como el redondeo numérico excesivo, las excepciones de punto flotante, las condiciones de carrera de datos, los interbloqueos, los fallos de memoria, las violaciones de las especificaciones en las interfaces de los módulos del sistema, etc. El programa CS² pone la corrección en igualdad de condiciones con el rendimiento, el enfoque de la investigación actual en computación científica. Este programa prevé la necesidad de probar la corrección incluso en sistemas de computación científica de alto rendimiento. Dichas pruebas de corrección podrían depender de múltiples factores, incluida la corrección de los análisis de programas estáticos y en tiempo de ejecución. Reconociendo que muchas aplicaciones de computación científica son inherentemente estadísticas, utilizan probabilística o…