Mathematical foundations for time warp systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient algorithms for distributed snapshots and global virtual time approximation
Journal of Parallel and Distributed Computing - Special issue on parallel and discrete event simulation
Parallel DEVS: a parallel, hierarchical, modular, modeling formalism
WSC '94 Proceedings of the 26th conference on Winter simulation
The treatment of state in optimistic systems
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
The threshold of event simultaneity
Proceedings of the eleventh workshop on Parallel and distributed simulation
On event ordering in parallel discrete event simulation
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
On the selection of the state saving strategy in time warp parallel simulations
Transactions of the Society for Computer Simulation International - Special issue on parallel and distributed simulation
Parallel and Distribution Simulation Systems
Parallel and Distribution Simulation Systems
Theory of Modeling and Simulation
Theory of Modeling and Simulation
OFC: A Distributed Fossil-Collection Algorithm for Time-Warp
DISC '98 Proceedings of the 12th International Symposium on Distributed Computing
Hybrid Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Dynamically switching between lazy and aggressive cancellation in a Time Warp parallel simulator
SS '95 Proceedings of the 28th Annual Simulation Symposium
Hierarchical optimistic distributed simulation: combining devs and time warp
Hierarchical optimistic distributed simulation: combining devs and time warp
Batch based cancellation: a rollback optimal cancellation scheme in time warp simulations
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Parallel discrete event simulation with application to continuous systems
Parallel discrete event simulation with application to continuous systems
XTW, A Parallel and Distributed Logic Simulator
Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation
New Parallel Simulation Techniques of DEVS and Cell-DEVS in CD++
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Performance Improvement Using Parallel Simulation Protocol and Time Warp for DEVS Based Applications
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
DEVS namespace for interoperable DEVS/SOA
Winter Simulation Conference
Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study
Proceedings of the 2010 Summer Computer Simulation Conference
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
This article describes a Time Warp simulation algorithm for discrete event models that are described in terms of the Discrete Event System Specification (DEVS). The article shows how the total state transition and total output function of a DEVS atomic model can be transformed into an event processing procedure for a logical process. A specific Time Warp algorithm is constructed around this logical process, and it is shown that the algorithm correctly simulates a DEVS coupled model that consists entirely of interacting atomic models. The simulation algorithm is presented abstractly; it is intended to provide a basis for implementing efficient and scalable parallel algorithms that correctly simulate DEVS models.