SAFEST: the static and dynamic fault tree analysis tool

Matthias Volk; Muzammil Ibne Irshad; Joost-Pieter Katoen; Falak Sher; Mariëlle I.A. Stoelinga; Ahmad Zafar

doi:10.3850/978-981-18-8071-1_P407-cd

SAFEST: the static and dynamic fault tree analysis tool

Matthias Volk, Muzammil Ibne Irshad, Joost-Pieter Katoen, Falak Sher, Mariëlle I.A. Stoelinga, Ahmad Zafar

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

161 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023)
Publisher	Research Publishing
Pages	193-200
DOIs	https://doi.org/10.3850/978-981-18-8071-1_P407-cd
Publication status	Published - 2023
Event	33rd European Safety and Reliability Conference, ESREL 2023 - University of Southampton, Southampton, United Kingdom Duration: 3 Sept 2023 → 7 Sept 2023 Conference number: 33 https://www.esrel2023.com/

Conference

Conference	33rd European Safety and Reliability Conference, ESREL 2023
Abbreviated title	ESREL 2023
Country/Territory	United Kingdom
City	Southampton
Period	3/09/23 → 7/09/23
Internet address	https://www.esrel2023.com/

Keywords

Fault tree analysis
Dynamic fault trees
Model checking
Formal methods
Risk management
Tool

Access to Document

10.3850/978-981-18-8071-1_P407-cd

P407Final published version, 216 KB

https://rpsonline.com.sg/proceedings/esrel2023/pdf/P407.pdf

Cite this

@inproceedings{0cebefa5c0864fa1b4de83fbfd0de072,

title = "SAFEST: the static and dynamic fault tree analysis tool",

keywords = "Fault tree analysis, Dynamic fault trees, Model checking, Formal methods, Risk management, Tool",

author = "Matthias Volk and {Ibne Irshad}, Muzammil and Joost-Pieter Katoen and Falak Sher and Stoelinga, {Mari{\"e}lle I.A.} and Ahmad Zafar",

year = "2023",

doi = "10.3850/978-981-18-8071-1_P407-cd",

language = "English",

pages = "193--200",

booktitle = "Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023)",

publisher = "Research Publishing",

note = "33rd European Safety and Reliability Conference, ESREL 2023, ESREL 2023 ; Conference date: 03-09-2023 Through 07-09-2023",

url = "https://www.esrel2023.com/",

}

Volk, M, Ibne Irshad, M, Katoen, J-P, Sher, F, Stoelinga, MIA & Zafar, A 2023, SAFEST: the static and dynamic fault tree analysis tool. in Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Research Publishing, pp. 193-200, 33rd European Safety and Reliability Conference, ESREL 2023, Southampton, United Kingdom, 3/09/23. https://doi.org/10.3850/978-981-18-8071-1_P407-cd

TY - GEN

T1 - SAFEST: the static and dynamic fault tree analysis tool

AU - Volk, Matthias

AU - Ibne Irshad, Muzammil

AU - Katoen, Joost-Pieter

AU - Sher, Falak

AU - Stoelinga, Mariëlle I.A.

AU - Zafar, Ahmad

N1 - Conference code: 33

PY - 2023

Y1 - 2023

KW - Fault tree analysis

KW - Dynamic fault trees

KW - Model checking

KW - Formal methods

KW - Risk management

KW - Tool

U2 - 10.3850/978-981-18-8071-1_P407-cd

DO - 10.3850/978-981-18-8071-1_P407-cd

M3 - Conference contribution

SP - 193

EP - 200

BT - Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023)

PB - Research Publishing

T2 - 33rd European Safety and Reliability Conference, ESREL 2023

Y2 - 3 September 2023 through 7 September 2023

ER -