You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
filip.cano b0b7fbbba9 Merge pull request 'refactor' (#2) from refactor into main 1 month ago
data Clean refactor 1 month ago
inputs Merge refactor with main 1 month ago
models Clean refactor 1 month ago
src Clean refactor 1 month ago
.gitignore Clean refactor 1 month ago Clean refactor 1 month ago
config.yml Refactor 1 month ago
environment.yml Clean refactor 1 month ago

Car crash scenario generation - tester


The tool uses python and PRISM.

For python, an environment.yml file is provided, so you can create a conda environment:

  conda env create -f environment.yml

For PRISM, download the latest version compatible with your OS here:

Follow the installation instructions and once installed, add the path to your installation in the config.yml file.


The src folder contains most of the relevant code of the project. In particular, the file contains the class Converter, that reads parameters from the inputs folder, and generates a prism file with the model corresponding to the parameters read. You can execute it as


The file is a script that generates the prism file, executes it on prism and output the results.

The inputs folder contains the different json files with behaviour of the environment, pedestrian and car.

The models folder contains the prism model and properties files.

The data file contains some generated traces, as well as the runner.ipynb notebook, to make experiments.