1/1
Analysis of non-Markovian repairable fault trees through rare event simulation (experimental reproduction package)
Version 5 2024-07-26, 16:14
Version 4 2021-11-07, 15:40
Version 3 2021-11-05, 01:03
Version 2 2021-11-01, 20:36
Version 1 2021-10-30, 03:10
software
posted on 2024-07-26, 16:14 authored by Carlos E. BuddeCarlos E. Budde, Raúl E. Monti, Pedro R. D'ArgenioThis artifact permits to reproduce the experimental results obtained with the tool chain presented in the paper "Analysis of non-Markovian repairable fault trees through rare event simulation".
This includes the FIG statistical model checker that implements automatic rare event simulation (RES), and a compiler for fault- and attack-tree models described in the Kepler syntax, backwards-compatible with the Galileo syntax for fault tree description.
To use the toolchain, download and unzip the archive, and follow the instructions in the README file.
Funding
Projection of Security Vulnerabilities caused by Exploits in Dependencies
European Commission
Find out more...