The Community for Technology Leaders
20th Workshop on Principles of Advanced and Distributed Simulation (PADS'06) (2006)
Singapore
May 24, 2006 to May 26, 2006
ISSN: 1087-4097
ISBN: 0-7695-2587-3
pp: 119-128
Xinyu Liu , University of Virginia, USA
Paul F. Reynolds , 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

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.
doi:10.1109/PADS.2006.38
93 ms
(Ver 3.3 (11022016))