Title :
The Need for Verifiable Visualization
Author :
Kirby, Robert M. ; Silva, Cláudio T.
Author_Institution :
Univ. of Utah, Salt Lake City, UT
Abstract :
Visualization is often employed as part of the simulation science pipeline, it´s the window through which scientists examine their data for deriving new science, and the lens used to view modeling and discretization interactions within their simulations. We advocate that as a component of the simulation science pipeline, visualization must be explicitly considered as part of the validation and verification (V&V) process. In this article, the authors define V&V in the context of computational science, discuss the role of V&V in the scientific process, and present arguments for the need for verifiable visualization.
Keywords :
data visualisation; formal verification; data visualization; simulation science pipeline; validation process; verifiable visualization; verification process; Biology computing; Computational fluid dynamics; Computational modeling; Computer errors; Data visualization; Mathematical model; Physics computing; Pipelines; Reliability engineering; Uncertainty; error budget; uncertainty; validation; verification; Computer Graphics; Computer Simulation; Models, Theoretical; User-Computer Interface;
Journal_Title :
Computer Graphics and Applications, IEEE
DOI :
10.1109/MCG.2008.103