Document Open Access Logo

A survey of modelling and simulation software frameworks using Discrete Event System Specification

Authors Romain Franceschini, Paul-Antoine Bisgambiglia, Luc Touraille, Paul Bisgambiglia, David Hill

Thumbnail PDF


  • Filesize: 0.6 MB
  • 10 pages

Document Identifiers

Author Details

Romain Franceschini
Paul-Antoine Bisgambiglia
Luc Touraille
Paul Bisgambiglia
David Hill

Cite AsGet BibTex

Romain Franceschini, Paul-Antoine Bisgambiglia, Luc Touraille, Paul Bisgambiglia, and David Hill. A survey of modelling and simulation software frameworks using Discrete Event System Specification. In 2014 Imperial College Computing Student Workshop. Open Access Series in Informatics (OASIcs), Volume 43, pp. 40-49, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2014)


Discrete Event System Specification is an extension of the Moore machine formalism which is used for modelling and analyzing general systems. This hierarchical and modular formalism is time event based and is able to represent any continuous, discrete or combined discrete and continuous systems. Since its introduction by B.P. Zeigler at the beginning of the eighties, most general modelling formalisms able to represent dynamic systems have been subsumed by DEVS. Meanwhile, the modelling and simulation (M&S) community has introduced various software frameworks supporting DEVS-based simulation analysis capability. DEVS has been used in many application domains and this paper will present a technical survey of the major DEVS implementations and software frameworks. We introduce a set of criteria in order to highlight the main features of each software tool, then we propose a table and discussion enabling a fast comparison of the presented frameworks.
  • DEVS
  • Framework
  • Survey
  • Modelling
  • Simulation


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. F. Bergero and E. Kofman. PowerDEVS: a tool for hybrid system modeling and real-time. SIMULATION, 87(1-2):113-132, January 2011. Google Scholar
  2. P.-A. Bisgambiglia, R. Franceschini, F.-J. Chatelon, J.-L. Rossi, and P. A. Bisgambiglia. Discrete event formalism to calculate acceptable safety distance. In Simulation Conference (WSC), 2013 Winter, pages 217-228, December 2013. Google Scholar
  3. J. S. Bolduc and H. Vangheluwe. A modeling and simulation package for classic hierarchical DEVS. Technical report, 2002. Google Scholar
  4. L. Booker, S. Forrest, M. Mitchell, and R. Riolo. Discrete Event Abstraction: An Emerging Paradigm For Modeling Complex Adaptive Systems by Bernard P. Zeigler Chapter 6 in Perspectives on Adaptation in Natural and Artificial Systems. Oxford University Press, Oxford, England ; New York, February 2005. Google Scholar
  5. L. Capocchi, J.-F. Santucci, B. Poggi, and C. Nicolai. DEVSimPy: A collaborative python software for modeling and simulation of DEVS systems. In 2011 20th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pages 170-175, June 2011. Google Scholar
  6. C. G. Cassandrass and S. Lafortune. Introduction to Discrete Event Systems. 2nd ed. 2008. Kluwer Academic Publishers, springer edition, 1999. Google Scholar
  7. A. C. Chow, B. P. Zeigler, and D. H. Kim. Abstract simulator for the parallel DEVS formalism. In , Proceedings of the Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, 1994. Distributed Interactive Simulation Environments, pages 157-163, December 1994. Google Scholar
  8. J.-B. Filippi, F. Bernardi, and M. Delhom. The JDEVS environmental modeling and simulation environment. IEMSS, Integrated Assessment and Decision Support, Lugano Suisse, page 283–288, 2002. Google Scholar
  9. R. Franceschini, P.-A. Bisgambiglia, P. Bisgambiglia, and D. R. C. Hill. DEVS-Ruby: a Domain Specific Language for DEVS Modeling and Simulation (WIP). In DEVS 14: Proceedings of the Symposium on Theory of M&S, pages 393-398. SCS International, April 2014. Google Scholar
  10. S. Gareddu, E. Vittori, J.-F. Santucci, and P.-A. Bisgambiglia. A Meta-Model for DEVS - Designed following Model Driven Engineering Specifications. In SIMULTECH 2012, pages 152-157, 2012. Google Scholar
  11. N. Giambasi, B. Escude, and S. Ghosh. GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems. In IEEE, editor, Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems ISADS, page 464, 2001. Google Scholar
  12. J. Himmelspach and A. M. Uhrmacher. Plug'n simulate. In In Proceedings of the 40th Annual Simulation Symposium (2007), pages 137-143, 2007. Google Scholar
  13. A. S. Jadhav and R. M. Sonar. Evaluating and selecting software packages: A review. Information and Software Technology, 51(3):555-563, March 2009. Google Scholar
  14. V. Janoušek and E. Kironsky. Exploratory modeling with SmallDEVS. In Proceedings of the 20th annual European Simulation and Modelling Conference, page 122–126, 2006. Google Scholar
  15. S. Kim, H. S. Sarjoughian, and V. Elamvazhuthi. DEVS-suite: a simulator supporting visual experimentation design and behavior monitoring. In Proceedings of the 2009 Spring Simulation Multiconference, page 161. Society for Computer Simulation International, 2009. Google Scholar
  16. J. de Lara and H. Vangheluwe. AToM3: A tool for multi-formalism and meta-modelling. In Ralf-Detlef Kutsche and Herbert Weber, editors, Fundamental Approaches to Software Engineering, number 2306 in Lecture Notes in Computer Science, pages 174-188. Springer Berlin Heidelberg, January 2002. Google Scholar
  17. S. Mittal, J. L. Risco, and B. P. Zeigler. DEVS-based simulation web services for net-centric t&e. In Proceedings of the 2007 Summer Computer Simulation Conference, SCSC '07, page 357–366, San Diego, CA, USA, 2007. Society for Computer Simulation International. Google Scholar
  18. S. Mittal, J. L. Risco-Martín, and B. P. Zeigler. DEVS/SOA: A cross-platform framework for net-centric modeling and simulation in DEVS unified process. SIMULATION, 85(7):419-450, July 2009. Google Scholar
  19. J. Nikoukaran, V. Hlupic, and R. J. Paul. Criteria for simulation software evaluation. In Proceedings of the 30th Conference on Winter Simulation, WSC '98, page 399–406, Los Alamitos, CA, USA, 1998. IEEE Computer Society Press. Google Scholar
  20. J. Nutaro. ADEVS (a discrete EVent system simulator). Arizona Center for Integrative Modeling &Simulation (ACIMS), University of Arizona, Tucson. Available at http://www. ece. arizona. edu/nutaro/index.php, 1999. Google Scholar
  21. G. Quesnel, R. Duboz, and E. Ramat. The virtual laboratory environment – an operational framework for multi-modelling, simulation and analysis of complex dynamical systems. Simulation Modelling Practice and Theory, 17(4):641-653, April 2009. Google Scholar
  22. E. Ramat and P. Preux. Virtual laboratory environment (VLE): a software environment oriented agent and object for modeling and simulation of complex systems. Simulation Modelling Practice and Theory, 11(1):45-55, March 2003. Google Scholar
  23. H. S. Sarjoughian and B. P. Zeigler. DEVSJAVA: Basis for a DEVS-based collaborative m&s environment. Simulation Series, 30:29–36, 1998. Google Scholar
  24. Y. Van Tendeloo and H. Vangheluwe. The Modular Architecture of the Python(P)DEVS Simulation Kernel Work In Progress paper. In DEVS 14: Proceedings of the Symposium on Theory of M&S, pages 387-392. SCS International, April 2014. Google Scholar
  25. L. Touraille, M. K. Traoré, and D. R. C. Hill. A mark-up language for the storage, retrieval, sharing and interoperability of DEVS models. In Proceedings of the 2009 Spring Simulation Multiconference, SpringSim '09, page 163:1–163:6, San Diego, CA, USA, 2009. Society for Computer Simulation International. Google Scholar
  26. L. Touraille, M. K. Traoré, and D. R. C. Hill. SimStudio : une infrastructure pour la modélisation, la simulation et l'analyse de systèmes dynamiques complexes. Technical Report RR-10-13, INRIA, May 2010. Google Scholar
  27. M. K. Traoré. SimStudio: A next generation modeling and simulation framework. In Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems &Workshops, Simutools '08, page 67:1–67:6, ICST, Brussels, Belgium, Belgium, 2008. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). Google Scholar
  28. H. Vangheluwe. The discrete EVent system specification DEVS formalism. Technical report, Modeling and Simulation (COMP522A), 2001. Published: Lecture Notes Google Scholar
  29. G. Wainer, E. Glinsky, and M. Gutierrez-Alcaraz. Studying performance of DEVS modeling and simulation environments using the DEVStone benchmark. SIMULATION, 87(7):555-580, July 2011. Google Scholar
  30. G. A. Wainer. CD++: a toolkit to define discrete-event models. Software, Practice and Experience. Wiley, 32(3):1261-1306, November 2002. Google Scholar
  31. G. A. Wainer and N. Giambiasi. Application of the cell-DEVS paradigm for cell spaces modelling and simulation. SIMULATION, 76(1):22-39, January 2001. Google Scholar
  32. G. Zacharewicz, M. El-Amine Hamri, C. Frydman, and N. Giambiasi. A generalized discrete event system (g-DEVS) flattened simulation structure: Application to high-level architecture (HLA) compliant simulation of workflow. SIMULATION, 86(3):181-197, March 2010. Google Scholar
  33. B. P. Zeigler. Guide to Modeling and Simulation of Systems of Systems - User’s Reference. Springer Briefs in Computer Science. Springer, 2013. Google Scholar
  34. B. P. Zeigler, G. Ball, H. Cho, J. S. Lee, and H. S. Sarjoughian. The DEVS/HLA distributed simulation environment and its support for predictive filtering. Technical report, 1998. Google Scholar
  35. B. P. Zeigler, S. B. Hall, and H. S. Sarjoughian. Exploiting HLA and DEVS to promote interoperability and reuse in lockheed’s corporate environment. SIMULATION, 73(5):288-295, November 1999. Google Scholar
  36. B. P. Zeigler, H. Praehofer, and T. G. Kim. Theory of Modeling and Simulation, Second Edition. 2000. Google Scholar
  37. B. P Zeigler and H. S. Sarjoughian. DEVS integrated development environments. In Guide to Modeling and Simulation of Systems of Systems, page 11–26. Springer, 2013. Google Scholar
  38. S. Zinn, J. Himmelspach, A. M. Uhrmacher, and J. Gampe. Building Mic-Core, a specialized M&S software to simulate multi-state demographic micro models, based on JAMES II, a general M&S framework. J. Artificial Societies and Social Simulation, 16(3), 2013. Google Scholar
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail