a-earthperson/OpenErrorPro

Stochastic Error Propagation Analysis

Demo video

How to start

Get OpenErrorPro

- sudo apt-get update
- sudo apt-get install git
- git clone https://github.com/mbsa-tud/OpenErrorPro.git
- cd OpenErrorPro

Get PRISM

• download the PRISM model checker from http://www.prismmodelchecker.org/download.php
• extract it to the OpenErrorPro folder e.g.

OpenErrorPro/prism-4.4-linux64

• run the install script:

sh OpenErrorPro/prism-4.4-linux64/install.sh

• install JRE:

sudo apt-get install default-jre

• check that prism is working:

./prism-4.4-linux64/bin/xprism

Setup OpenErrorPro

• open

epl_prism.py

• setup the path to the prism bin folder:

self.prism_dir = "/home/errorpro/Desktop/OpenErrorPro/prism-4.4-linux64/bin"

Install python3 libs

- sudo apt-get install python3-pyside
- sudo apt-get install python3-colorama
- sudo apt-get install python3-matplotlib
- sudo apt-get install python3-pygraphviz
- sudo apt-get install python3-pyqt4

Run

- python3 errorpro.py

VM

Check out our Virtual machine