build_and_improve_fdir

Utilize the model checker PRISM for generating fault isolation and recovery controllers

Getting started

clone the repository, navigate to its root and execute the install script:

./install.sh

launch the gui via the virtual environment that install.sh created:

source python3.9-venv/bin/activate
cd src
python3 analysis_tool_gui.py

if you have comments, found a bug, or have a suggestion for improvement, feel free to contact us via mail: [email protected]

the authors of this tool are Kush Grover and Jonis Kiesbye, the software is released under MIT license.

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
benchmarks		benchmarks
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
gui_screenshot.png		gui_screenshot.png
install.sh		install.sh
run_experiments.sh		run_experiments.sh