quartz
quartz copied to clipboard
Quartz - A Crystal Modeling & Simulation framework
Quartz - A Crystal Modeling & Simulation Framework
Quartz is a Crystal library for defining models and constructing discrete event simulations.
The following features are supported:
- Hierarchical models, through the coupling of sub-models via their input/output ports.
- Discrete-event and discrete-time models.
- Dynamic structure models.
- A precise representation of the simulated time.
- Heterogeneous models, e.g. coupling discrete-event and discrete-time models.
- Model and / or ports observers.
- Simulation hooks.
Documentation
Installation
Requirements
- Crystal. Please refer to http://crystal-lang.org/docs/installation for instructions for your operating system.
Setup
Crystal applications and libraries are expected to have a shard.yml
file
at their root. Create a shard.yml
file in your project's folder (or add to it) with the following contents:
dependencies:
quartz:
github: RomainFranceschini/quartz
Then, resolve dependencies with shards (Crystal dependency manager) to install Quartz as a dependency of your project:
$ shards install
Usage
See the examples folder.
Underlying theory
Quartz is based on the PDEVS (Parallel Discrete EVent System Specification) formalism and some of its extensions (DTSS, DSDE, multiPDEVS).
This project is developed by a research group at University of Corsica.
Related books/papers
- Zeigler, Bernard P, Alexandre Muzy, and Ernesto Kofman. 2019. Theory of Modeling and Simulation. 3rd edition. Discrete Event & Iterative System Computational Foundations. Academic Press. DOI: 10.1016/C2016-0-03987-6.
- Foures, Damien, Romain Franceschini, Paul-Antoine Bisgambiglia, et Bernard P. Zeigler. 2018. « MultiPDEVS: A Parallel Multicomponent System Specification Formalism ». Complexity 2018: 1‑19. DOI: 10.1155/2018/3751917.
- Franceschini, Romain, Paul-Antoine Bisgambiglia, Paul Bisgambiglia, and David R. C. Hill. 2018. « An Overview of the Quartz Modelling and Simulation Framework ». In Proceedings of 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 120‑27. Porto, Portugal: SCITEPRESS - Science and Technology Publications. DOI: 10.5220/0006864201200127
- Goldstein, Rhys, Azam Khan, Olivier Dalle, et Gabriel Wainer. 2018. « Multiscale Representation of Simulated Time ». SIMULATION 94 (6): 519‑58. DOI: 10.1177/0037549717726868.
Alternatives
Many other tools allow modeling and simulation based on the DEVS theory. Here is a non-exhaustive list:
- VLE (Virtual Laboratory Environment)
- ADEVS
- PythonPDEVS
- CD++
- PowerDEVS
- DEVS-Suite
- MS4Me
- James II
Contributors
- [RomainFranceschini] Romain Franceschini - creator, maintainer (University of Corsica Pasquale Paoli)
Contributing
- Fork it (https://github.com/RomainFranceschini/quartz/fork)
- Create your feature branch (
git checkout -b my-new-feature
) - Commit your changes (
git commit -am 'Add some feature'
) - Push to the branch (
git push origin my-new-feature
) - Create a new pull request.
License
This software is governed by the CeCILL-C license under French law and abiding by the rules of distribution of free software. You can use, modify and/ or redistribute the software under the terms of the CeCILL-C license as circulated by CEA, CNRS and INRIA at the following URL "http://www.cecill.info".
The fact that you are presently reading this means that you have had knowledge of the CeCILL-C license and that you accept its terms.