Correttezza per i sistemi di calcolo scientifico

Descrizione

Correttezza per i sistemi di calcolo scientifico (CS²) è un programma congiunto della National Science Foundation (NSF) e del Dipartimento dell'Energia (DOE). Il programma affronta sfide che sono sia fondamentali per la missione del DOE che essenziali per la missione della NSF di garantire un ampio progresso scientifico. L'obiettivo generale del programma è elevare la correttezza a requisito fondamentale per gli strumenti e le catene di strumenti di calcolo scientifico, dalle librerie di basso livello alle complesse simulazioni multifisiche e ai flussi di lavoro scientifici emergenti. A un livello elementare, la correttezza di un sistema significa che le proprietà comportamentali desiderate saranno soddisfatte durante l'esecuzione del sistema. Nel contesto del calcolo scientifico, la correttezza può essere intesa, sia a livello di software che di hardware, come assenza di comportamenti difettosi come arrotondamenti numerici eccessivi, eccezioni in virgola mobile, data race, deadlock, errori di memoria, violazioni delle specifiche alle interfacce dei moduli di sistema e così via. Il programma CS² pone la correttezza sullo stesso piano delle prestazioni, l'obiettivo dell'attuale ricerca nel calcolo scientifico. Questo programma prevede la necessità di dimostrare la correttezza anche nei sistemi di calcolo scientifico performanti. Tali prove di correttezza potrebbero a loro volta basarsi su molteplici fattori, inclusa la correttezza delle analisi statiche e runtime dei programmi. Riconoscendo che molte applicazioni di calcolo scientifico sono intrinsecamente statistiche, utilizzano probabilità o…

Fonte ufficiale

Beneficiarios elegibles

• Others (see text field entitled "Additional Information on Eligibility" for clarification)