The Community for Technology Leaders
2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation (2006)
Singapore
May 24, 2006 to May 26, 2006
ISSN: 1087-4097
ISBN: 0-7695-2587-3
pp: 119-128
Paul F. Reynolds , University of Virginia, USA
Xinyu Liu , University of Virginia, USA
David C. Brogan , University of Virginia, USA
ABSTRACT
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.
INDEX TERMS
null
CITATION
Paul F. Reynolds, Xinyu Liu, 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
87 ms
(Ver 3.3 (11022016))