Authors:
Romain Franceschini
1
;
Paul-Antoine Bisgambiglia
1
;
Paul Bisgambiglia
1
and
David R. C. Hill
2
Affiliations:
1
University of Corsica, UMR 6134, Campus Grimaldi, Corte and France
;
2
Clermont Auvergne University, UMR 6158, ISIMA LIMOS, F-63173 Aubiere and France
Keyword(s):
Simulation Environment, Discrete-event Simulation, PDEVS, DPDEMAS, multiPDEVS.
Related
Ontology
Subjects/Areas/Topics:
Computer Simulation Techniques
;
Discrete-Event Simulation
;
Domain-Specific Tools
;
Formal Methods
;
Laboratory Simulation Software
;
Simulation and Modeling
;
Simulation Tools and Platforms
Abstract:
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.