The Community for Technology Leaders
2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation (2004)
Kufstein, Austria
May 16, 2004 to May 19, 2004
ISSN: 1087-4097
ISBN: 0-7695-2111-8
pp: 89-96
B. S. S. Onggo , National University of Singapore
Y. M. Teo , National University of Singapore and Singapore - MIT Alliance
ABSTRACT
This paper advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process boundaries: physical system, simulation model, and simulator implementation. Firstly, we formalize simulation event ordering using partially ordered set theory. A simulator implements a simulation event ordering, and incurs implementation overheads when enforcing event ordering at runtime. Secondly, we apply our formalism to extract and formalize the simulation event orderings of both sequential and parallel simulations. Thirdly, we propose the relation stricter and a measure called strictness for comparing and quantifying the degree of event dependency of simulation event orderings respectively.
INDEX TERMS
null
CITATION
B. S. S. Onggo, Y. M. Teo, "Formalization and Strictness of Simulation Event Orderings", 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, vol. 00, no. , pp. 89-96, 2004, doi:10.1109/PADS.2004.1301289
93 ms
(Ver 3.3 (11022016))