Manual
This document serves as a comprehensive user manual for SAFEST. It is designed to provide step-by-step instructions for using the tool effectively and efficiently. From installation to advanced features, this guide covers everything you need to know to get the most out of the tool.
| Version | Documentation |
|---|---|
| V 1.0.0 | SAFEST Manual |
| V 0.0.0 (Beta) | SAFEST Manual |
Videos
Helpful technology enables everyone to achieve their goals Watch More
Lectures
Publications
Explore content for transforming research and teaching
- Matthias Volk, Falak Sher, Joost-Pieter Katoen and Marielle Stoelinga: SAFEST: Fault Tree Analysis via Probabilistic Model Checking. 70th Annual Reliability and Maintainability Symposium (RAMS) 2024
- Ahmad Zafar, Joost-Pieter Katoen, Falak Sher, Marielle Stoelinga, Muzammil Ibne Irshad: SAFEST: the static and dynamic fault tree analysis tool. European Conference On Safety And Reliability (ESREL) 2023.
- Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga: BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. NFM 2022: 713-732
- Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen: DFT modeling approach for operational risk assessment of railway infrastructure. Int. J. Softw. Tools Technol. Transf. 24(3): 331-350 (2022)
- Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, Falak Sher. Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees, 10th Latin-American Symposium on Dependable Computing (LADC), IEEE, 2021.
- Shahid Khan, Joost-Pieter Katoen: Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs. PRDC 2021: 113-122
- Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Safety analysis for vehicle guidance systems with dynamic fault trees, Reliability engineering & system safety 186, pages 37-50, Elsevier Science, 2019.
- Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar. Formal Verification of Rewriting Rules for Dynamic Fault Trees, 17. edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019), Volume 11724, Theoretical computer science and general issues of LNCS, 513-531, Springer, 2019.
- Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk: One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Petri Nets 2018: 272-293
- Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Fast Dynamic Fault Tree Analysis by Model Checking Techniques, IEEE transactions on industrial informatics 14 (1), pages 370-379, IEEE, 2018.
- Joost-Pieter Katoen, Marielle Stoelinga. Boosting Fault Tree Analysis by Formal Methods, Volume 10500 of LNCS, 368-389, Springer, 2017.
- Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates, 35. International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Volume 9922 of LNCS, 253-265, Springer, 2016.
- Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga. Uncovering Dynamic Fault Trees, 46. Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), 299-310, IEEE, 2016.
- Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. Fault Trees on a Diet, 1. International Symposium on Dependable Software Engineering (SETTA 2015), Volume 9409 of LNCS, 3-18, Springer, 2015.