Skip to content

Latest commit

 

History

History
73 lines (54 loc) · 2.07 KB

README.md

File metadata and controls

73 lines (54 loc) · 2.07 KB
Raw

SAFEST - the Static And dynamic Fault trEe analySis Tool

Version: latest (dev not-fully-tested)

SAFEST provides modelling and analysis of fault trees and supports both static fault trees (SFT) and dynamic fault trees (DFT). The tool uses the Storm-dft library of the Storm modelchecker in its backend.

Prerequisites

  1. Docker must be installed on your computer - Docker installation videos are available on youtube for Windows, Linux and macOS.

  2. Docker must be running – verify it by running the following command in a Terminal or Command Prompt(CMD).

    docker info

System Requirements

OS: 64-bit Windows 10/11, Linux, MacOS
Memory: 8GB RAM (Recommended 16GB)
Storage: 15 GB available space
Browsers: Google Chrome (Recommended), Firefox

Running SAFEST on Linux and macOS

Installation

Step 1: Download the zip file, and unzip it.

Step 2: To navigate to the folder, run the following command in the terminal.

cd path_to_SAFEST

Step 3: To install, run the following command in the terminal.

sh install.sh

Start

Step 1: To navigate to the folder, run the following command in the terminal.

cd path_to_SAFEST

Step 2: To start, run the following command in the terminal.

sh start.sh

Step 3: Open the link http://127.0.0.1:8080 in a browser window

Stop

Step 1: To navigate to the folder, run the following command in the terminal.

cd path_to_SAFEST

Step 2: To stop, run the following command in the terminal.

sh stop.sh

Running SAFEST on Windows

Installation

Step 1: Download the zip file, and unzip it.

Step 2: Run install.bat file.

Start

Run start.bat file.

Open the link http://127.0.0.1:8080 in a browser window

Stop

Run stop.bat file.