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.
Chapter PDF
Similar content being viewed by others
Keywords
- Uncertainty Representation
- Evidence Theory
- Emergent Behavior
- Basic Probability Assignment
- Imprecise Probability
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Waziruddin, S., Brogan, D.C., Reynolds, P.F.: Coercion through optimization: A classification of optimization techniques. In: Proceedings of the Fall Simulation Interoperability Workshop (2004)
Davis, P.K.: New Paradigms and Challenges. In: Proceedings of 2005 Winter Simulation Conference, pp. 293–302. IEEE, Piscataway (2005)
OCRWM. Yucca mountain science and engineering report REV 1. DOE/RW-0539-1. U.S. Department of Energy, Office of Civilian Radioactive Waste Management, Las Vegas, Nevada (2002)
IPCC. Ipcc fourth assessment report climate change. Intergovernmental Panel on Climate Change (2007)
OMB. Circular a-4, regulatory analysis. Office of Management and Budget (September 2003)
Sentz, K., Ferson, S.: Combination of evidence in dempster-shafer theory. Sandia National Laboratories (2002)
Kaplan, S., Garrick, B.: On the quantitative definition of risk. Risk Analysis 1(1), 11–27 (1981)
Apostolakis, G.: The concept of probability in safety assessment of technological systems. Science 250, 1359–1364 (1990)
Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman/Hall, Boca Raton (1991)
Ferson, S., Ginzburg, L.: Different methods are needed to propagate ignorance and variability. Reliability Engineering and System Safety 54, 133–144 (1996)
Ferson, S., Hajagos, J.: Arithmetic with uncertain numbers: rigorous and best possible answers. Reliability Engineering and System Safety 85, 135–152 (2004)
Regan, H., Sample, B., Ferson, S.: Comparison of deterministic and probabilistic calculation of ecological soil screening levels. Environmental Toxicoloy and Chemistry 21(4), 882–890 (2002)
Shafer, G.: A mathematical theory of evidence. Princeton University Press, Princeton (1976)
Helton, J., Oberkampf, W., Johnson, J.: Competing failure risk analysis using evidence theory. Risk Analysis 25(4), 973–995 (2005)
Easterling, R., Berger, J.: Statistical foundations for the validation of computer models. In: V&V State of the Art: Proceedings of Foundations ’02 (2002)
Liu, X., Reynolds, P., Brogan, D.: Using abstraction in the verification of simulation coercion. In: Proceedings of the 2006 Conference on Principles of Advanced and Distributed Simulation (PADS), pp. 119–128 (2006)
Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston (2004)
Lynch, N., Segala, R., Vaandrager, F.: Hybrid, I/O Automata. Technical Report: MIT-LCS-TR-827d, MIT Lab. for Computer Science (Jan. 2003)
Carnahan, J., Reynolds, P., Brogan, D.: Language constructs for identifying flexible points in coercible simulations. In: Proceedings of the 2004 Fall Simulation Interoperability Workshop. Simulation Interoperability Standards Organization, Orlando, Florida (September 2004)
Vallee-Rai, R., Co, P., Gagnon, E., Hendren, L., Lam, P., Sundaresan, V.: Soot - a Java bytecode optimization framework. In: Proceedings of the 1999 Conference of the Centre for Advanced Studies on Collaborative Research (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Reynolds, P.F., Spiegel, M., Liu, X., Gore, R. (2007). Validating Evolving Simulations in COERCE. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds) Computational Science – ICCS 2007. ICCS 2007. Lecture Notes in Computer Science, vol 4487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72584-8_161
Download citation
DOI: https://doi.org/10.1007/978-3-540-72584-8_161
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72583-1
Online ISBN: 978-3-540-72584-8
eBook Packages: Computer ScienceComputer Science (R0)