On constructing optimistic simulation algorithms for the discrete event system specification

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.

[1]  Satish K. Tripathi,et al.  Parallel and distributed simulation of discrete event systems , 1994 .

[2]  David Bruce.  The treatment of state in optimistic systems , 1995, PADS.

[3]  Frederick Wieland.  The threshold of event simultaneity , 1997, Workshop on Parallel and Distributed Simulation.

[4]  Gabriel A. Wainer,et al.  Parallel Environment for DEVS and Cell-DEVS Models , 2007, Simul..

[5]  B.P. Zeigler,et al.  Abstract simulator for the parallel DEVS formalism , 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.

[6]  Stephen John Turner,et al.  Batch based cancellation: a rollback optimal cancellation scheme in time warp simulations , 2004, 18th Workshop on Parallel and Distributed Simulation, 2004. PADS 2004..

[7]  Philip A. Wilsey,et al.  Dynamically switching between lazy and aggressive cancellation in a Time Warp parallel simulator , 1995, Proceedings of Simulation Symposium.

[8]  Bernard P. Zeigler,et al.  Parallel DEVS: a parallel, hierarchical, modular modeling formalism , 1994, Proceedings of Winter Simulation Conference.

[9]  Bernard P. Zeigler,et al.  Parallel discrete event simulation with application to continuous systems , 2003 .

[10]  Gabriel A. Wainer,et al.  New parallel simulation techniques of DEVS and Cell-DEVS in CD++ , 2006, 39th Annual Simulation Symposium (ANSS'06).

[11]  Robert Rönngren,et al.  On event ordering in parallel discrete event simulation , 1999, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155).

[12]  R.M. Fujimoto,et al.  Parallel and distributed simulation systems , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).

[13]  Friedemann Mattern,et al.  Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation , 1993, J. Parallel Distributed Comput..

[14]  Zohar Manna,et al.  Verifying Hybrid Systems , 1992, Hybrid Systems.

[15]  Hussam M. Soliman.  On the Selection of the State Saving Strategy In Time Warp Parallel Simulations , 1999, Simul..

[16]  Bernard P. Zeigler,et al.  Implementation of the DEVS Formalism over the HLA/RTI: Problems and Solutions , 1999 .

[17]  Mihajlo D. Mesarovic,et al.  Abstract Systems Theory , 1989 .

[18]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[19]  Nael B. Abu-Ghazaleh,et al.  OFC: A Distributed Fossil-Collection Algorithm for Time-Warp , 1998, DISC.

[20]  Bernard P. Zeigler,et al.  Hierarchical optimistic distributed simulation: combining devs and time warp , 1990 .

[21]  Hessam S. Sarjoughian,et al.  Design of Distributed Simulation Environments: A Unified System-Theoretic and Logical Processes Approach , 2004, Simul..

[22]  Ronald J. Watro,et al.  Mathematical foundations for time warp systems , 1993, TOPL.

[23]  Zohar Manna,et al.  From Timed to Hybrid Systems , 1991, REX Workshop.

[24]  Carl Tropper,et al.  XTW, a parallel and distributed logic simulator , 2005, Workshop on Principles of Advanced and Distributed Simulation (PADS'05).

[25]  Richard M. Fujimoto,et al.  Parallel and Distribution Simulation Systems , 1999 .