research-article

Sequential PDEVS architecture

Authors:

Damián Vicino,

Daniella Niyonkuru,

Gabriel Wainer,

Olivier DalleAuthors Info & Claims

DEVS '15: Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

Pages 165 - 172

Published: 12 April 2015 Publication History

Abstract

Parallel Discrete Event System Specification (PDEVS) is a well-known formalism used to model and simulate Discrete Event Systems. This formalism uses an abstract simulator that defines a set of abstract algorithms that are parallel by nature. To implement simulators using these abstract algorithms, several architectures were proposed. Most of these architectures follow distributed approaches that may not be appropriate for single core processors or microcontrollers. In order to reuse efficiently PDEVS models in this type of systems, we define a new architecture that provides a single threaded execution by passing messages in a call/return fashion to simplify the execution time analysis.

References

[1]

B. P. Zeigler, H. Praehofer and T. G. Kim, Theory of modeling and simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems, San Diego, CA: Academic Press, 2000.

Digital Library

[2]

A. C. Chow, B. P. Zeigler and D. H. Kim, "Abstract simulator for the parallel DEVS formalism". Proc. of the Fifth Conference on AI, Simulation, and Planning in High Autonomy Systems, Gainesville, FL, 1994.

[3]

A. C. Chow, "Parallel DEVS: A parallel, hierarchical, modular modeling formalism and its distributed simulator," TRANSACTIONS of the Society for Computer Simulation, vol. 13, no. 2, pp. 55--68, 1996.

Digital Library

[4]

J. Himmelspach and A. M. Uhrmacher, "Sequential processing of PDEVS models," in Proceedings of the 3rd EMSS, Barcelona, Spain, 2006.

[5]

R. Franceschini, P.-A. Bisgambiglia, L. Touraille, P. Bisgambiglia, D. Hill, R. Neykova and N. Ng "A survey of modelling and simulation software frameworks using Discrete Event System Specification," in 2014 Imperial College Computing Student Workshop, London, England, 2014.

[6]

J. Nutaro. (2014, Feb 19). A Discrete EVent system Simulator. {Online}. Available: http://web.ornl.gov/~1qn/adevs/adevs-docs/manual.pdf

[7]

J. J. Nutaro, Building software for simulation: theory and algorithms, with applications in C++. Hoboken, NJ: Wiley. 2011.

Digital Library

[8]

A. Muzy and J. J. Nutaro, "Algorithms for efficient implementations of the DEVS & DSDEVS abstract simulator" 1st Open International Conference on Modeling & Simulation (OICMS), Clermont-Ferrand, France, 2005.

[9]

Y. Van Tendeloo and H. Vangheluwe, "The modular architecture of the python (P)DEVS simulation kernel" Proceedings of the Symposium on Theory of Modeling & Simulation, 2014.

Digital Library

[10]

B. Chen and H. Vangheluwe, "Symbolic flattening of devs models," in Proceedings of the 2010 Summer Computer Simulation Conference, Ottawa, Canada, 2010.

Digital Library

[11]

Y. Van Tendeloo and H. Vangheluwe, "Activity in PythonPDEVS," ITM Web of Conferences, vol. 3, p. 01002, 2014.

[12]

G. Quesnel, R. Duboz, E. Ramat and M. K. Traore, "VLE: a multimodeling and simulation environment," in Proceedings of the 2007 summer computer simulation conference, San Diego, CA, 2007.

Digital Library

[13]

R. Franceschini, P.-A. Bisgambiglia, P. Bisgambiglia and D. Hill, "DEVS-ruby: a domain specific language for DEVS modeling and simulation (WIP)," in Proceedings of the Symposium on Theory of Modeling & Simulation-DEVS Integrative, Tampa, FL, 2014.

Digital Library

[14]

G. Wainer, "CD++: A Toolkit to Develop DEVS Models," Software: Practice and Experience, vol. 32, no. 13, pp. 1261--1306, 2002.

Digital Library

[15]

G. Wainer, E. Glinsky and M. Gutierrez-Alcaraz, "Studying performance of DEVS modeling and simulation environments using the DEVStone benchmark," Simulation, vol. 87, no. 7, pp. 555--580, 2011.

Digital Library

[16]

K. Kim, W. Kang, B. Sagong and H. Seo, "Efficient Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-Hierarchical One," in Proceedings of the 33rd Annual Simulation Symposium, Washington, DC, 2000.

Digital Library

[17]

D. Vicino, O. Dalle and G. Wainer, "A Data Type for Discretized Time Representation in DEVS," in Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, Lisbon, Portugal, 2014.

Digital Library

[18]

J. Himmelspach and A. M. Uhrmacher, "The event queue problem and PDevs," in Proceedings of the 2007 Spring Simulation Multiconference - Volume 2, Norfolk, VA, 2007.

Digital Library

[19]

B. Karlsson, Beyond the C++ Standard Library: An Introduction to Boost, Addison Wesley, Aug 31, 2005, p. 432.

Digital Library

Cited By

Cárdenas RHenares KArroba PRisco-Martín JWainer G(2022)The DEVStone Metric: Performance Analysis of DEVS Simulation EnginesACM Transactions on Modeling and Computer Simulation10.1145/354384932:3(1-20)Online publication date: 25-Jul-2022
https://dl.acm.org/doi/10.1145/3543849
Vicino DWainer GDalle O(2021)Uncertainty on Discrete-Event System SimulationACM Transactions on Modeling and Computer Simulation10.1145/346616932:1(1-27)Online publication date: 27-Sep-2021
https://dl.acm.org/doi/10.1145/3466169
Trabes GCosta VWainer G(2020)Energy efficiency evaluation of parallel execution of devs models in multicore architecturesProceedings of the Winter Simulation Conference10.5555/3466184.3466432(2173-2183)Online publication date: 14-Dec-2020
https://dl.acm.org/doi/10.5555/3466184.3466432
Show More Cited By

Index Terms

Sequential PDEVS architecture
1. Computing methodologies
  1. Modeling and simulation
    1. Simulation types and techniques
      1. Discrete-event simulation
2. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

Conflict management in PDEVS: an experience in modelling and simulation of time petri nets
SCSC '07: Proceedings of the 2007 Summer Computer Simulation Conference

PDEVS (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 ...
Actor-Based Simulation of PDEVS systems over HLA
ANSS-41 '08: Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)

The work described in this paper aims at experimenting with PDEVS modelling and simulation of complex and variable structure systems. The approach is centred on the use of actors (agents), i.e. lightweight reactive objects which communicate to one ...
A comparative study of pending event set implementations for PDEVS simulation
DEVS '15: Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

The choice of a particular event-list implementation can dramatically improve or reduce performance of a discrete event simulation (DES). For more than 40 years, several data structures had been proposed to address this problem. We present new empirical ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DEVS '15: Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

April 2015

288 pages

ISBN:9781510801059

Editors:
Fernando Barros
University of Coimbra, Portugal
,
Moon Ho Wang
Dassualt Systemes, Delmia Corp
,
Herbert Prähofer
Johannes Kepler University Linz, Austria
,
Xiaolin Hu
Georgia State University

Sponsors

SIGSIM: ACM Special Interest Group on Simulation and Modeling
SCS: Society for Modeling and Simulation International

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 12 April 2015

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SpringSim '15

Sponsor:

SIGSIM
SCS

SpringSim '15: 2015 Spring Simulation Multiconference

April 12 - 15, 2015

Virginia, Alexandria

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
44
Total Downloads

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

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Cárdenas RHenares KArroba PRisco-Martín JWainer G(2022)The DEVStone Metric: Performance Analysis of DEVS Simulation EnginesACM Transactions on Modeling and Computer Simulation10.1145/354384932:3(1-20)Online publication date: 25-Jul-2022
https://dl.acm.org/doi/10.1145/3543849
Vicino DWainer GDalle O(2021)Uncertainty on Discrete-Event System SimulationACM Transactions on Modeling and Computer Simulation10.1145/346616932:1(1-27)Online publication date: 27-Sep-2021
https://dl.acm.org/doi/10.1145/3466169
Trabes GCosta VWainer G(2020)Energy efficiency evaluation of parallel execution of devs models in multicore architecturesProceedings of the Winter Simulation Conference10.5555/3466184.3466432(2173-2183)Online publication date: 14-Dec-2020
https://dl.acm.org/doi/10.5555/3466184.3466432
Al-Habashna ARuiz-Martin CWainer G(2019)Analyzing the impact of quantum size on the accuracy and performance of Cell-DEVS fire modelsProceedings of the Theory of Modeling and Simulation Symposium10.5555/3338246.3338256(1-12)Online publication date: 29-Apr-2019
https://dl.acm.org/doi/10.5555/3338246.3338256
Ruiz-Martin CAl-Habashna AWainer GBelloli L(2019)Control of a quadcopter application with DEVSProceedings of the Theory of Modeling and Simulation Symposium10.5555/3338246.3338250(1-12)Online publication date: 29-Apr-2019
https://dl.acm.org/doi/10.5555/3338246.3338250
Wainer GGoldstein RKhan AJohansson BJain S(2018)Introduction to the discrete event system specification formalism and its application for modeling and simulating cyber-physical systemsProceedings of the 2018 Winter Simulation Conference10.5555/3320516.3320543(177-191)Online publication date: 9-Dec-2018
https://dl.acm.org/doi/10.5555/3320516.3320543
Behl AWainer GRuiz-Martin C(2018)Cell-DEVSProceedings of the 50th Computer Simulation Conference10.5555/3275382.3275400(1-12)Online publication date: 9-Jul-2018
https://dl.acm.org/doi/10.5555/3275382.3275400
Foures DFranceschini RBisgambiglia PZeigler B(2018)multiPDEVSComplexity10.1155/2018/37519172018(11)Online publication date: 1-Mar-2018
https://dl.acm.org/doi/10.1155/2018/3751917
Ruiz-Martin CWainer GLopez-Paredes AQuaglia FPellegrini ATheodoropoulos G(2018)Formal Abstract Modeling of Dynamic Multiplex NetworksProceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation10.1145/3200921.3200922(61-72)Online publication date: 14-May-2018
https://dl.acm.org/doi/10.1145/3200921.3200922
Vicino DDalle OWainer GBarros FPrähofer HHu XDenil J(2016)An advanced data type with irrational numbers to implement time in DEVS simulatorsProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975412(1-8)Online publication date: 3-Apr-2016
https://dl.acm.org/doi/10.5555/2975389.2975412
Show More Cited By

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.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents