A new modeling interface for simulators implementing the discrete event system specification
Article No.: 7, Pages 1 - 12
Abstract
The Discrete Event System Specification (DEVS) offers a unique modeling interface that is often perplexing to modelers more familiar with other simulation paradigms. Recent advances in the use of super dense time for discrete event simulation offer an opportunity to recast the traditional interface into a form less confounding for new users. The new interface proposed here allows a natural progression from a message oriented approach to modeling to the familiar DEVS approach. The proposed approach retains the expressive power of the DEVS formalism, and in this sense represents a simple repackaging of the DEVS approach into a more intuitively appealing form.
References
[1]
Akplogan, M., G. Quesnel, F. Garcia, A. Joannon, and R. Martin-Clouaire. 2010. "Towards a Deliberative Agent System Based on DEVS Formalism for Application in Agriculture". In Proceedings of the 2010 Summer Computer Simulation Conference, SCSC '10, pp. 250--257. San Diego, CA, USA, Society for Computer Simulation International.
[2]
Bisgambiglia, P.-A., P. A. Bisgambiglia, and R. Franceschini. 2013. "Agent-oriented Approach Based on Discrete Event Systems (WIP)". In Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, DEVS 13, pp. 27:1--27:6. San Diego, CA, USA, Society for Computer Simulation International.
[3]
Carson, J. S. 1993. "Modeling and Simulation Worldviews". In Proceedings of 1993 Winter Simulation Conference - (WSC '93), pp. 18--23.
[4]
Cristiá, M., D. A. Hollmann, and C. Frydman. 2019. "A multi-target compiler for CML-DEVS". SIMULATION vol. 95 (1), pp. 11--29.
[5]
Fritzson, P. 2011. Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica. Wiley-IEEE Press.
[6]
Fujimoto, R. M. 2000. Parallel and Distributed Simulation Systems. Wiley.
[7]
Hollmann, D. A., M. Cristiá, and C. Frydman. 2015. "CML-DEVS: A specification language for DEVS conceptual models". Simulation Modelling Practice and Theory vol. 57, pp. 100 -- 117.
[8]
Klir, G. J. 1969. An approach to general systems theory. Van Nostrand Reinhold Co.
[9]
Lee, E. A., and H. Zheng. 2005. "Operational Semantics of Hybrid Systems". In Hybrid Systems: Computation and Control, edited by M. Morari and L. Thiele, pp. 25--53. Berlin, Heidelberg, Springer Berlin Heidelberg.
[10]
Maler, O., Z. Manna, and A. Pnueli. 1992. "From timed to hybrid systems". In Real-Time: Theory in Practice, edited by J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, pp. 447--484. Berlin, Heidelberg, Springer Berlin Heidelberg.
[11]
Mesarovic, M. D., and Y. Takahara. 1989. Abstract Systems Theory. Springer-Verlag.
[12]
Mosterman, P. J., G. Simko, J. Zander, and Z. Han. 2014. "A Hyperdense Semantic Domain for Hybrid Dynamic Systems to Model Different Classes of Discontinuities". In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, HSCC '14, pp. 83--92. New York, NY, USA, ACM.
[13]
Muzy, A., and J. J. Nutaro. 2005. "Algorithms for efficient implementations of the DEVS & DSDEVS abstract simulators". In 1st Open International Conference on Modeling & Simulation, pp. 273--279.
[14]
James Nutaro 2018. "A discrete event system simulator". https://sourceforge.net/projects/bdevs/.
[15]
Nutaro, J. J. 2010. Building Software for Simulation: Theory and Algorithms, with Applications in C++. Wiley.
[16]
Nutaro, J. J., J. C. Schryver, and M. J. Haire. 2012. "The throughput, reliability, availability, maintainability (TRAM) methodology for predicting chemical plant production". 2012 Proceedings Annual Reliability and Maintainability Symposium, pp. 1--6.
[17]
Sarjoughian, H. S., and V. Elamvazhuthi. 2009. "CoSMoS: A Visual Environment for Component-based Modeling, Experimental Design, and Simulation". In Proceedings of the 2Nd International Conference on Simulation Tools and Techniques, Simutools '09, pp. 59:1--59:9. ICST, Brussels, Belgium, Belgium, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering).
[18]
Sarjoughian, H. S., and S. Sundaramoorthi. 2015. "Superdense Time Trajectories for DEVS Simulation Models". In Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, DEVS '15, pp. 249--256. San Diego, CA, USA, Society for Computer Simulation International.
[19]
Seck, M., C. Frydman, and N. Giambiasi. 2005. "Using DEVS for Modeling and Simulation of Human Behaviour". In Artificial Intelligence and Simulation, edited by T. G. Kim, pp. 692--698. Berlin, Heidelberg, Springer Berlin Heidelberg.
[20]
Siebers, P. O., C. M. Macal, J. Garnett, D. Buxton, and M. Pidd. 2010, Sep. "Discrete-event simulation is dead, long live agent-based simulation!". Journal of Simulation vol. 4 (3), pp. 204--210.
[21]
Uhrmacher, A. M., and D. Weyns. (Eds.) 2009. Multi-Agent Systems: Simulation and Applications. CRC Press.
[22]
Varga, A., and R. Hornig. 2008. "An Overview of the OMNeT++ Simulation Environment". In Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, Simutools '08, pp. 60:1--60:10. ICST, Brussels, Belgium, Belgium, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering).
[23]
Wainer, G. A. 2009. Discrete-Event Modeling and Simulation: A Practitioner's Approach. CRC Press.
[24]
Zeigler, B., A. Muzy, and E. Kofman. 2018. Theory of Modeling and Simulation, 3rd Edition. Academic Press.
Recommendations
A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that includes stochastic features. Based on the use of the probability spaces theory we define the stochastic DEVS (STDEVS) specification, which provides a ...
Introduction to parallel DEVS modelling and simulation
Mod4Sim '18: Proceedings of the Model-driven Approaches for Simulation Engineering SymposiumDEVS is a popular formalism for modelling complex dynamic systems using a discrete-event abstraction. Main advantages of DEVS are its rigorous formal definition, and its support for modularity: models can be hierarchically nested. Thanks to these ...
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 ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
April 2019
202 pages
Publisher
Society for Computer Simulation International
San Diego, CA, United States
Publication History
Published: 29 April 2019
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 144Total Downloads
- Downloads (Last 12 months)41
- Downloads (Last 6 weeks)14
Reflects downloads up to 24 Sep 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