A Python implementation of a DBM-based simulator for Uppaal models.
In this section, you will find instructions to setup and run the Uppyyl Simulator on your local machine.
Install Python >=3.8 for this project.
If you want to run the project in a dedicated virtual environment, first install virtualenv:
python3.8 -m pip install virtualenv
And create a virtual environment:
cd project_folder
virtualenv uppyyl-env
Then, activate the virtual environment on macOS and Linux via:
source ./uppyyl-env/bin/activate
or on Windows via:
source .\uppyyl-env\Scripts\activate
To install the Uppyyl Simulator directly from GitHub, run the following command:
python3.8 -m pip install -e git+https://github.com/S-Lehmann/uppyyl-simulator.git#egg=uppyyl-simulator
To install the project from a local directory instead, run:
python3.8 -m pip install -e path_to_project_root
The project can both be used as a package for other projects, or as a standalone simulator using the provided CLI tool.
To run the standalone CLI tool, first switch to the project directory, e.g., in your virtual environment:
cd uppyyl-env/src/uppyyl-simulator
Then, execute the following command:
python3.8 -m uppyyl_simulator
To run the tests (and optionally measure coverage), execute either:
make run_all_tests
make run_all_coverage
- Sascha Lehmann - Initial work - S-Lehmann
See also the list of contributors who participated in this project.
This project is licensed under the MIT License - see the LICENSE file for details.
- The original Uppaal model checking tool can be found at http://www.uppaal.org/.
- The project is associated with the Institute for Software Systems at Hamburg University of Technology.