On constructing optimistic simulation algorithms for the discrete event system specification

Journal Article · Tue Jan 01 04:00:00 EST 2008 · ACM Transactions on Modeling and Computer Simulation

DOI:https://doi.org/10.1145/1456645.1456646· OSTI ID:951076

Nutaro, James J ^[1]

---

1. ORNL

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.

• Research Organization: Oak Ridge National Laboratory (ORNL)
• Sponsoring Organization: ORNL LDRD Seed-Money; ORNL LDRD Director's R&D
• DOE Contract Number: AC05-00OR22725
• OSTI ID: 951076
• Journal Information: ACM Transactions on Modeling and Computer Simulation, Journal Name: ACM Transactions on Modeling and Computer Simulation Journal Issue: 1 Vol. 19; ISSN 1049-3301
• Country of Publication: United States
• Language: English

Related Subjects

74 ATOMIC AND MOLECULAR PHYSICS
ALGORITHMS
ATOMIC MODELS
PROCESSING
SIMULATION
SPECIFICATIONS