2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation (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.
Xinyu Liu, Paul F. Reynolds, David C. Brogan, "Using Abstraction in the Verification of Simulation Coercion", 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, vol. 00, no. , pp. 119-128, 2006, doi:10.1109/PADS.2006.38