An Overview of the Quartz Modelling and Simulation Framework

Quartz is a modelling and simulation framework enabling the development and the execution of models based on the Parallel Discrete Event System Specification (PDEVS) formalism. In this paper we give an overview of the tool by giving details on its design and features. An experimental comparison shows that Quartz yields performances comparable to what is observed with aDEVS, one of the most efficient tool implemented with a compiled language. We present our efforts to provide dedicated expressions and verification facilities to the modeler and give examples of application domains that motivated this software. Namely, agent-based modeling through the Dynamic Parallel Discrete Event Multi-Agent (DPDEMAS) specification and multicomponent modeling with the multiPDEVS formalism.

[1]  Bernard P. Zeigler,et al.  Parallel DEVS: a parallel, hierarchical, modular modeling formalism , 1994, Proceedings of Winter Simulation Conference.

[2]  Gabriel A. Wainer,et al.  Sequential PDEVS architecture , 2015, SpringSim.

[3]  Hans Vangheluwe,et al.  The modular architecture of the python(P)DEVS simulation kernel: work in progress paper , 2014, SpringSim.

[4]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[5]  Adelinde M. Uhrmacher,et al.  SEQUENTIAL PROCESSING OF PDEVS MODELS , 2006 .

[6]  Gabriel A. Wainer,et al.  Studying performance of DEVS modeling and simulation environments using the DEVStone benchmark , 2011, Simul..

[7]  WAI TENG TANG,et al.  Ladder queue: An O(1) priority queue structure for large-scale discrete event simulation , 2005, TOMC.

[8]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[9]  Simon Breslav,et al.  Practical aspects of the DesignDEVS simulation environment , 2018, Simul..

[10]  David R. C. Hill,et al.  DEVS-ruby: a domain specific language for DEVS modeling and simulation (WIP) , 2014, SpringSim.

[11]  Bernard P. Zeigler,et al.  multiPDEVS: A Parallel Multicomponent System Specification Formalism , 2018, Complex..

[12]  Bin Chen,et al.  Symbolic flattening of DEVS models , 2010, SummerSim.

[13]  Hans Vangheluwe,et al.  An evaluation of DEVS simulation tools , 2017, Simul..

[14]  Joshua M. Epstein,et al.  Growing Artificial Societies: Social Science from the Bottom Up , 1996 .

[15]  Romain Franceschini,et al.  Approche formelle pour la modélisation et la simulation de systèmes multi-agents , 2017, JFSMA.

[16]  H. Vangheluwe.  DEVS as a common denominator for multi-formalism hybrid systems modelling , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[17]  Raphaël Duboz,et al.  The Virtual Laboratory Environment - An operational framework for multi-modelling, simulation and analysis of complex dynamical systems , 2009, Simul. Model. Pract. Theory.