Article

Improving the Lookahead Computation in G-DEVS/HLA Environment

Authors:

G. Zacharewicz,

C. FrydmanAuthors Info & Claims

DS-RT '05: Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications

Pages 273 - 282

https://doi.org/10.1109/DISTRA.2005.24

Published: 10 October 2005 Publication History

Abstract

In this paper, we present an improvement to evaluate the HLA lookahead for distributed DEVS/GDEVS models in a HLA-compliant environment. The models considered in this distributed simulation have state lifetimes functions of several state variables. We use the graph theory Dijkstra search to compute the different values of the state variables and a mathematical function analysis to determine the lookahead for the model states. We illustrate on an example how this solution extends the range of DEVS/G-DEVS models that can be involved into distributed simulations.

References

[1]

R. E. Bryant, "Simulation of packet communication architecture computer systems", Technical Report MIT/LCS/TR-188, MIT, 1977.

Digital Library

[2]

K. M. Chandy and J. Misra, "Distributed simulation: A case study in design and verification of distributed programs", IEEE Transactions on Software Engineering, 5(5):440-452, September 1979.

Digital Library

[3]

E.W. Dijkstra, "A note on two problems in connexion with graphs", Numerische Mathematik, 1:269-271, 1959.

Digital Library

[4]

DMSO. High Level Architecture. U.S. Department of Defense, Washington D.C. USA, 1998.

[5]

R. M. Fujimoto, "Zero lookahead and repeatability in the high level architecture", In Spring Simulation Interoperability Workshop (SIW), number 97S-SIW-046, Orlando, FL, 1997.

[6]

R. M. Fujimoto, "Time management in the high level architecture", Simulation, 71(6):388-400, 1998.

[7]

R. M. Fujimoto, Parallel discrete event simulation, Wiley Interscience, New York, NY, January, 2000.

[8]

N. Giambiasi, B. Escude and S. Ghosh, "G-DEVS A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems", Transactions of the Society for Computer Simulation International, 17(3): 120-134, 2000.

Digital Library

[9]

IEEE std 1516-2000. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) - Framework and Rules. The Institute of Electrical and Electronic Engineers, New York, NY, 2001.

[10]

IEEE std 1516.1-2000. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) - Object Model Template (OMT) Specification. The Institute of Electrical and Electronic Engineers, New York, NY, 2001.

[11]

IEEE std 1516.2-2000. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) - Federate Interface Specification. Institute of Electrical and Electronic Engineers, New York, NY, 2001.

[12]

D.R. Jefferson. Virtual Time. ACM Trans. Prog. Lang. and Syst. 7(3):404-425, 1985.

Digital Library

[13]

T. Lake, B.P. Zeigler, H.S. Sarjoughian and J. Nutaro, "DEVS Simulation and HLA Lookahead" In Simulation Interoperability Workshop (SIW), number 00S-SIW-160, Orlando, FL, 2000.

[14]

L. Lamport. Time, clocks and the ordering of events in a distributed system. Communication of the ACM, 21(7):558-565, July 1978.

Digital Library

[15]

B. Samadi. Distributed simulation, algorithms and performance analysis. Phd, UCLA, USA, 1985.

Digital Library

[16]

H.S. Song and T.G. Kim, "The DEVS framework for discrete event systems control", In 5th Annual Conference on AI, Simulation and Planning in High Autonomous Systems:228-234, Gainesville, FL, USA, 1994.

[17]

G. Zacharewicz, N. Giambiasi and C. Frydman, "Improving the DEVS/HLA Environment", In DEVS Integrative M&S Symposium, DEVS'05, Part of the 2005 SCS Spring Simulation Multiconference, SpringSim'05, San Diego, CA, USA, April 3-7 2005.

[18]

G. Zacharewicz, N. Giambiasi and C. Frydman, "A New Algorithm for the HLA Lookahead Computing in the DEVS/HLA Environment", In European Simulation Interoperability Workshop (EUROSIW), number 05E-SIW- 028, Toulouse, France, 2005.

[19]

B.P. Zeigler and J.S. Lee, "Theory of quantized systems: formal basis for DEVS/HLA distributed simulation environment", SPIE, 3369 (Enabling Technology for Simulation Science II):49-S8, Alex F. Sisti Ed, Aug 1998

[20]

B.P. Zeigler, G. Ball, and al, "The DEVS/HLA Distributed Simulation Environment And Its Support for Predictive Filtering", Technical Report ECE Dept., DARPA Contract N6133997K-0007, UA, Tucson, AZ, 1998.

[21]

B.P. Zeigler, G. Ball, H.J. Cho and J.S. Lee, Implementation of the DEVS formalism over the HLA/RTI: Problems and solutions", In Simulation Interoperation Workshop (SIW), number 99S-SIW-065, Orlando, FL, 1999.

[22]

B.P. Zeigler, H. Praehofer and T.G. Kim, Theory of Modeling and Simulation, 2nd Edition, Academic Press, New York, NY, 2000.

Digital Library

Cited By

Hamri MZacharewicz GRose OUhrmacher A(2012)Automatic generation of object-oriented code from DEVS graphical specificationsProceedings of the Winter Simulation Conference10.5555/2429759.2430289(1-12)Online publication date: 9-Dec-2012
https://dl.acm.org/doi/10.5555/2429759.2430289
Jafer SWainer G(2010)Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVSProceedings of the 2010 Summer Computer Simulation Conference10.5555/1999416.1999460(342-349)Online publication date: 11-Jul-2010
https://dl.acm.org/doi/10.5555/1999416.1999460
Sun YHu XJefferson TFowler JIngalls R(2008)Partial-modular DEVS for improving performance of cellular space wildfire spread simulationProceedings of the 40th Conference on Winter Simulation10.5555/1516744.1516928(1038-1046)Online publication date: 7-Dec-2008
https://dl.acm.org/doi/10.5555/1516744.1516928
Show More Cited By

Index Terms

Improving the Lookahead Computation in G-DEVS/HLA Environment

Recommendations

G-DEVS/HLA Environment for Distributed Simulations of Workflows

We present a Workflow environment allowing distributed simulation based on DEVS/G-DEVS formalisms. A description language for Workflow processes and an automatic transformation of a Workflow into a G-DEVS model have been defined. We then introduce a new ...
Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study
SCSC '10: Proceedings of the 2010 Summer Computer Simulation Conference

The conservative Parallel DEVS protocol offers a novel approach that allows conservative simulation of DEVS-based PDES systems. The protocol is based on the classical Chandy-Misra-Bryant synchronization mechanism, and it extends the DEVS abstract ...
Conservative DEVS: a novel protocol for parallel conservative simulation of DEVS and cell-DEVS models
SpringSim '10: Proceedings of the 2010 Spring Simulation Multiconference

We present a novel conservative algorithm based on the classical Chandy-Misra-Bryant (CMB) synchronization mechanism by extending DEVS abstract simulator to provide means for look-ahead computation and null-message distribution. We integrate this ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

DS-RT '05: Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications

October 2005

296 pages

ISBN:0769524621

Publisher

IEEE Computer Society

United States

Publication History

Published: 10 October 2005

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Hamri MZacharewicz GRose OUhrmacher A(2012)Automatic generation of object-oriented code from DEVS graphical specificationsProceedings of the Winter Simulation Conference10.5555/2429759.2430289(1-12)Online publication date: 9-Dec-2012
https://dl.acm.org/doi/10.5555/2429759.2430289
Jafer SWainer G(2010)Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVSProceedings of the 2010 Summer Computer Simulation Conference10.5555/1999416.1999460(342-349)Online publication date: 11-Jul-2010
https://dl.acm.org/doi/10.5555/1999416.1999460
Sun YHu XJefferson TFowler JIngalls R(2008)Partial-modular DEVS for improving performance of cellular space wildfire spread simulationProceedings of the 40th Conference on Winter Simulation10.5555/1516744.1516928(1038-1046)Online publication date: 7-Dec-2008
https://dl.acm.org/doi/10.5555/1516744.1516928
Zacharewicz GFrydman CGiambiasi N(2008)G-DEVS/HLA Environment for Distributed Simulations of WorkflowsSimulation10.1177/003754970809283384:5(197-213)Online publication date: 1-May-2008
https://dl.acm.org/doi/10.1177/0037549708092833
Sun YNutaro J(2008)Performance Improvement Using Parallel Simulation Protocol and Time Warp for DEVS Based ApplicationsProceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications10.1109/DS-RT.2008.24(277-284)Online publication date: 27-Oct-2008
https://dl.acm.org/doi/10.1109/DS-RT.2008.24

View Options

View options

Media

Figures

Other

Tables

View Table of Contents