From d8849419d7246821daecf3b2aacfef16a220955b Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Sun, 1 Mar 2020 12:30:40 +0100 Subject: [PATCH] Adapted READMEs to new directory structure --- 2019-PRDC/README.md | 18 ++++++++++++++++++ README.md | 14 ++++++-------- 2 files changed, 24 insertions(+), 8 deletions(-) create mode 100644 2019-PRDC/README.md diff --git a/2019-PRDC/README.md b/2019-PRDC/README.md new file mode 100644 index 00000000..7c188e15 --- /dev/null +++ b/2019-PRDC/README.md @@ -0,0 +1,18 @@ +# Supplementary material for PRDC 2019 + +## Paper +The corresponding paper is titled *Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs*. +It is published in the *2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC)* +and available under the DOI [10.1109/PRDC47002.2019.00057](https://doi.org/10.1109/PRDC47002.2019.00057). + +It presents a transformation from *Boolean Logic Driven Markov Processes (BDMPs)* to *Dynamic Fault Trees (DFTs)*. + +## Files +Each directory contains one test case. +For example, [00-NPPS](00-NPPS) contains all files related to the *Nuclear power plant power supply (NPPS)* test case. +[01-OK](01-OK) contains the first BDMP test case. +Details of each BDMP test case are available on the webpage link provided in the pdf draft. + +The folder [sensitivity](sensitivity) contains some results about the sensitivity analysis. + +The 33 test case results along with their schematics are also provided in [testcase-results.pdf](testcase-results.pdf) for quick view. \ No newline at end of file diff --git a/README.md b/README.md index 169a450a..0af6c1dd 100644 --- a/README.md +++ b/README.md @@ -1,11 +1,9 @@ -# DFT-BDMP -Transformation from *Boolean Logic Driven Markov Processes (BDMPs)* to *Dynamic Fault Trees (DFTs)*. +# Boolean Logic Driven Markov Processes (BDMPs) -Each directory contains one test case. -For example, [00-NPPS](00-NPPS) contains all files related to the Nuclear power plant power supply (NPPS) test case. -[01-OK](01-OK) contains the first BDMP test case. -Details of each BDMP test case are available on the webpage link provided in the pdf draft. -The folder [sensitivity](sensitivity) contains some results about the sensitivity analysis. -The 33 test case results along with their schematics are also provided in [testcase-results.pdf](testcase-results.pdf) for quick view. +The repository provides supplementary material for publications about BDMPs and their analysis. +## List of files +- The [PRDC 2019](2019-PRDC) publication presents a transformation from *BDMPs* to *Dynamic Fault Trees (DFTs)*. + +## Download To download all files, click [here](https://github.com/moves-rwth/dft-bdmp/archive/master.zip).