Validating Evolving Simulations in COERCE

Authors:
Paul F. Reynolds, Jr.;Michael Spiegel;Xinyu Liu;Ross Gore
Affiliations:
Computer Science Department, University of Virginia,;Computer Science Department, University of Virginia,;Computer Science Department, University of Virginia,;Computer Science Department, University of Virginia,
Venue:
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
Year:
2007

Citing 3
Cited 1

Soot - a Java bytecode optimization framework

CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Using Abstraction in the Verification of Simulation Coercion

Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual

Investigating unexpected outcomes through the application of statistical debuggers

Proceedings of the Winter Simulation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation, and novel techniques for exploring emergent behavior. Uncertainty representation, using formalisms such as Dempster-Shafer theory, can capture designer insight about uncertainty, enabling formal analysis and improving communication with decision and policy makers. Lightweight validation employs targeted program analysis and automated regression testing to maintain user confidence as adaptations occur. Emergent behavior validation exploits the semi-automatic adaptation capability of COERCE to make exploration of such behavior efficient and productive. We describe our research on these three technologies and their impact on validating dynamically evolving simulations.