Korrektheit für wissenschaftliche Computersysteme

Beschreibung

Korrektheit für wissenschaftliche Computersysteme (CS²) ist ein gemeinsames Programm der National Science Foundation (NSF) und des Department of Energy (DOE). Das Programm befasst sich mit Herausforderungen, die sowohl für die Mission des DOE als auch für die Mission der NSF, einen breiten wissenschaftlichen Fortschritt zu gewährleisten, von zentraler Bedeutung sind. Das übergeordnete Ziel des Programms ist es, Korrektheit als grundlegende Anforderung für wissenschaftliche Computerwerkzeuge und Werkzeugketten zu etablieren, die von Low-Level-Bibliotheken über komplexe Multi-Physik-Simulationen bis hin zu neuen wissenschaftlichen Workflows reichen. Auf elementarer Ebene bedeutet die Korrektheit eines Systems, dass die gewünschten Verhaltensmerkmale während der Ausführung des Systems erfüllt werden. Im Kontext des wissenschaftlichen Rechnens kann Korrektheit, sowohl auf Software- als auch auf Hardwareebene, als Abwesenheit fehlerhafter Verhaltensweisen verstanden werden, wie z. B. übermäßige numerische Rundung, Gleitkomma-Ausnahmen, Datenkonflikte, Deadlocks, Speicherfehler, Verletzungen von Spezifikationen an Schnittstellen von Systemmodulen usw. Das CS²-Programm stellt Korrektheit auf eine Stufe mit Leistung, dem Schwerpunkt der aktuellen wissenschaftlichen Computerforschung. Dieses Programm sieht die Notwendigkeit, Korrektheit auch in leistungsfähigen wissenschaftlichen Computersystemen zu beweisen. Solche Korrektheitsbeweise könnten selbst auf mehreren Faktoren beruhen, einschließlich der Korrektheit statischer und Laufzeit-Programmanalysen. In Anbetracht dessen, dass viele wissenschaftliche Computeranwendungen von Natur aus statistisch sind, probabilistische oder…

Offizielle Quelle

Beneficiarios elegibles

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