Complexity analysis on flattened PDEVS simulations
Article No.: 203, Pages 1 - 12
Abstract
Discrete Event Systems Specification (DEVS) is a well-known formalism to develop models using the discrete event approach. One advantage of DEVS is a clear separation between the modeling and simulation activities. The user only needs to develop models and general algorithms exist in the literature to execute simulations. DEVS was enhanced to handle better simultaneous events in the PDEVS formalism. To execute PDEVS simulations, a well-know and widely accepted algorithm was introduced: the PDEVS simulation protocol. However, since its creation, the protocol has evolved, and several versions have been proposed and implemented. In this work we propose and analytical approach to fully define and analyze this protocol. We divide the protocol into steps and sub-steps and for each of them we present a computer complexity analysis based on two key factors of the protocol's execution: the messages the components interchange and the computations the components execute.
References
[1]
Belloli, L., D. Vicino, C. Ruiz-Martin and G. Wainer. 2019. "Building DEVS Models with the Cadmium Tool". In Proceedings of the 2019 Winter Simulation Conference, edited by N. Mustafee, K.-H.G. Bae, S. Lazarova-Molnar, M. Rabe, C. Szabo, P. Haas, and Y.-J. Son, 45--59. Piscataway, New Jersey, USA: Institute of Electrical and Electronics Engineers, Inc.
[2]
Brown, R. 1988. Calendar Queues: a Fast 0(1) Priority Queue Implementation for the Simulation Event Set Problem. Communications of ACM 31(10):1220--1227.
[3]
Chow A.C. and B. P. Zeigler. 1994. "Parallel DEVS: a Parallel, Hierarchical, Modular, Modeling Formalism". In Proceedings of the 1994 Winter Simulation Conference, edited by J. D. Tew, M. Manivannan, D. A. Sadowski, and A. F. Seila, 716--722. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.
[4]
Chow, A.C., B. P. Zeigler and D. H. Kim. 1994. "Abstract Simulator for the Parallel DEVS Formalism". In Proceedings of the Fifth Conference on AI, Simulation, and Planning in High Autonomy Systems, edited by P. A. Fishwick. 157--163. Gainesville, FL, USA: Institute of Electrical and Electronics Engineers, Inc.
[5]
Furfaro, A., and L. Sacco. 2018. "Adaptive Ladder Queue: Achieving O (1) Amortized Access Time in Practice.". In Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, edited by F. Quaglia, A. Pellegrini, and G. K. Theodoropoulos. 101--104. Ney York, NY. USA: Association for Computing Machinery.
[6]
Franceschini, R., P. A. Bisgambiglia, and P. Bisgambiglia. 2015. "A Comparative Study of Pending Event Set Implementations for PDEVS Simulation" In Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, edited by F. Barros, M. H. Wang, H. Pr�hofer, and X. Hu. 77--84. San Diego, CA: USA: Society for Computer Simulation International.
[7]
Glinsky, E. and G. Wainer. 2002. Definition of Real-Time simulation in the CD++ toolkit. In Proceedings of 2002 Summer Computer Simulation Conference. San Diego, CA: USA: Society for Computer Simulation International.
[8]
Himmelspach, J. and A. M. Uhrmacher. 2007. "The Event Queue Problem and PDEVS." In Proceedings of the 2007 Spring Simulation Multiconference - Volume 2, edited by M. J. Ades. 257--264. San Diego, CA: USA: Society for Computer Simulation International.
[9]
Nutaro J. 2019. "Chapter 14 - Parallel and Distributed Discrete Event Simulation" in Theory of Modeling and Simulation. 3rd edition, edited by B. P. Zeigler, A. Muzy and E. Kofman. 339 -- 372. San Diego, CA, USA: Academic Press.
[10]
Tang W. T., Goh R. S. M., and Thng I. L. 2005. Ladder Queue: An O(1) Priority Queue Structure for Large-Scale Discrete Event Simulation. ACM Transactions on Modeling and Computer Simulation 15(3):175--204.
[11]
Wainer G., E. Glinsky, and M. Gutierrez-Alcaraz. 2011. Studying performance of DEVS modeling and simulation environments using the DEVStone benchmark. SIMULATION 87(7):555--580.
[12]
Zeigler, B. P., H. Praehofer, and T. Kim. 2000. Theory of Modeling and Simulation. 2nd ed. Orlando, FL, USA: Academic Press, Inc.
- Complexity analysis on flattened PDEVS simulations
Recommendations
Performance analysis of a PDEVS simulator supporting multiple synchronization protocols
TMS-DEVS '16: Proceedings of the Symposium on Theory of Modeling & SimulationWith the ever increasing complexity of simulation models, parallel simulation becomes necessary to perform the simulation within reasonable time bounds. The built-in parallelism of Parallel DEVS is often insufficient to tackle this problem on its own. ...
A PDEVS simulator supporting multiple synchronization protocols
With the ever-increasing complexity of simulation models, parallel simulation becomes necessary to perform simulation within reasonable time bounds. The built-in parallelism of Parallel DEVS is often insufficient to tackle this problem on its own. ...
Conflict management in PDEVS: an experience in modelling and simulation of time petri nets
SCSC '07: Proceedings of the 2007 Summer Computer Simulation ConferencePDEVS (Parallel DEVS) is a well-known formalism for the specification of complex concurrent systems organized as an interconnection of atomic and coupled interacting components. The abstract simulator of a PDEVS model is normally founded on the ...
Comments
Information & Contributors
Information
Published In
December 2021
2971 pages
Sponsors
In-Cooperation
- IIE: Institute of Industrial Engineers
- INFORMS-SIM: Institute for Operations Research and the Management Sciences: Simulation Society
- SCS: Shanghai Computer Society
Publisher
IEEE Press
Publication History
Published: 28 February 2022
Check for updates
Qualifiers
- Research-article
Conference
WSC '21
Sponsor:
Acceptance Rates
Overall Acceptance Rate 3,413 of 5,075 submissions, 67%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 17Total Downloads
- Downloads (Last 12 months)9
- Downloads (Last 6 weeks)1
Reflects downloads up to 22 Oct 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in