20th Workshop on Principles of Advanced and Distributed Simulation (PADS'06) (2006)
May 24, 2006 to May 26, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PADS.2006.38
Xinyu Liu , University of Virginia, USA
Paul F. Reynolds , University of Virginia, USA
David C. Brogan , University of Virginia, USA
Simulation coercion concerns the adaptation of an existing simulation to meet new requirements. Interactions among course-of-action options available during coercion can become sufficiently complex that full verification of the simulation as it is adapted becomes cost-prohibitive. To address this issue we introduce two forms of abstraction, as employed in the model-checking community, to support verification of critical features of the simulation. We extend existing abstraction methods to facilitate our goals, and propose a useful abstraction method based on partial traces. As a case study, we apply our abstraction methods to the verification of a coercion of an existing simulation.
P. F. Reynolds, X. Liu and D. C. Brogan, "Using Abstraction in the Verification of Simulation Coercion," 20th Workshop on Principles of Advanced and Distributed Simulation (PADS'06)(PADS), Singapore, 2006, pp. 119-128.