Ensuring correctness at the application level: A software framework approach

Eloisa Bentivegna, Gabrielle Allen, Oleg Korobkin, Erik Schnetter

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

As scientific applications extend to the simulation of more and more complex systems, they involve an increasing number of abstraction levels, at each of which errors can emerge and across which they can propagate; tools for correctness evaluation and enforcement at every level (from the code level to the application level) are therefore necessary. Whilst code-level debugging tools are already a well established standard, application-level tools are lagging behind, possibly due to their stronger dependence on the application's details. In this paper, we describe the programming model introduced by the Cactus framework, review the High Performance Computing (HPC) challenges that Cactus is designed to address, and illustrate the correctness strategies that are currently available in Cactus at the code, component, and application level.

Original languageEnglish (US)
Title of host publicationProceedings of the 2009 Workshop on Component-Based High-Performance Computing, CBHPC 2009
DOIs
StatePublished - Dec 1 2009
Externally publishedYes
Event2009 Workshop on Component-Based High-Performance Computing, CBHPC 2009 - Portland, OR, United States
Duration: Nov 15 2009Nov 16 2009

Publication series

NameProceedings of the 2009 Workshop on Component-Based High-Performance Computing, CBHPC 2009

Other

Other2009 Workshop on Component-Based High-Performance Computing, CBHPC 2009
Country/TerritoryUnited States
CityPortland, OR
Period11/15/0911/16/09

Keywords

  • Frameworks
  • Programming environments
  • Software/program verification

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computational Theory and Mathematics
  • Human-Computer Interaction
  • Software

Fingerprint

Dive into the research topics of 'Ensuring correctness at the application level: A software framework approach'. Together they form a unique fingerprint.

Cite this