Stay up-to-date with the latest content from DGB as we add new features to SAFEST, do case studies, attend seminars, publish contents in international conferences, etc.
SAFEST Enterprise (release in January 2025)
SAFEST is being developed with new features like use-management, work-spaces, group editing of fault/event trees, etc. to make it appropriate for big enterprises. Watch out!
Book chapter contribution
The chapter entitled “Modular Criticality Analysis for Dynamic Fault Trees” by Falak Sher, Marielle Stoeling, and Matthias Volk has been contributed to the book “Principles of Verification: Cycling the Probabilistic Landscape” in Volume 15262 of the Lecture Notes in Computer Science series (LNCS), 2024.
Publication at ESREL 2024
The paper entitled “Advancing Nuclear Reactor Safety Analysis: Methodological Innovations And Results From Dynamic Probabilistic Safety Assessment.” by Masood Akmail and Falak Sher has been presented at the European Conference On Safety and Reliability (ESREL) 2024.
SFEST v2 release
A new version of SAFEST has been released with many exciting features like multi-page graphical simulation, probabilistic dependencies, etc. Plesae have a look of details features on the Installation page.
Publication at IAEA 2024
The paper entitled “Evolving PSA Methodologies: Towards Dynamic Reliability in SMR Passive Systems.” by Masood Akmail and Falak Sher has been presented at the International Conference on Small Modular Reactors and their Applications 2024, IAEA, Vienna.
Publication at RAMS 2024
The paper entitled “SAFEST: Fault Tree Analysis via Probabilistic Model Checking.” by Matthias Volk, Falak Sher, Joost-Pieter Katoen and Marielle Stoelinga has been presented at the 70th Annual Reliability and Maintainability Symposium (RAMS) 2024;
Publication at ESREL 2023
The paper entitled “SAFEST: the static and dynamic fault tree analysis tool.” by Ahmad Zafar, Joost-Pieter Katoen, Falak Sher, Marielle Stoelinga, Muzammil Ibne-Irshad been presented at the European Conference On Safety And Reliability (ESREL) 2023.