ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel DEVS: a parallel, hierarchical, modular modeling formalism and its distributed simulator
Transactions of the Society for Computer Simulation International
On event ordering in parallel discrete event simulation
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Theory of Modelling and Simulation
Theory of Modelling and Simulation
A Formal Definition of Dynamic Structure Hybrid Simulation Model
Proceedings of the 22nd Workshop on Principles of Advanced and Distributed Simulation
Hi-index | 0.00 |
Determinism plays a key role in both model verification and in achieving accurate simulation statistical results. In this paper we present a general framework for achieving determinism in the execution of hybrid simulation models. This framework guarantees that models will produce the same results irrespective to the simulation kernel they are executed. Thus, hybrid models can produce the same trace when executed in sequential or parallel machines and in this case when conservative or optimistic approaches are employed. For describing hybrid flow models we use the Heterogeneous Flow System Specification (HFSS), a hierarchical and modular formalism that can represent systems with a dynamic topology. The paper also solves the problems introduced by these systems in achieving deterministic simulations.