Published March 28, 2022 | Version 1.0.1
Dataset Open

Artifact for "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"

Creators

  • 1. RWTH Aachen University
  • 2. University of Twente

Description

Artifact for the paper "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees"

The package contains:

  • example files for all static and dynamic fault tree models
  • installation instructions for the three tools
  • scripts to perform the benchmarking
  • detailed result tables

Files

artifact.zip

Files (1.6 MB)

Name Size Download all
md5:2b8779cf28db573967fc633dce02b2e1
1.6 MB Preview Download

Additional details

Funding

CAESAR – Integrating Safety and Cybersecurity through Stochastic Model Checking 864075
European Commission
MISSION – Models in Space Systems: Integration, Operation, and Networking 101008233
European Commission