Quantifying system safety: A comparison of the SBOAT & Safety Barrier Manager tools

Zaza Nadja Lee Hansen, Nijs Jan Duijm, Frank Markert, Luke Thomas Herbert

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

132 Downloads (Pure)


This paper presents two software tools for analyzing safety risks, SBOAT (Stochastic BPMN Optimisation and Analysis Tool) and SBM (SafetyBarrierManagerr). SBOAT employs principles from stochastic model checking to allow for the quantitative verification of workflows. SBM supports the creation of valid safety-barrier diagrams and allows the quantitative analysis of the probability of all possible end states of the barrier diagram, i.e. the outcomes if one or several of the barriers fail to perform their barrier function. We compare the foundations of these tools and describe how they can be used and how they complement each other by means of the analysis of a production workflow inspired by a real-world industry case.
Original languageEnglish
Title of host publicationProceedings of the European Safety and Reliability Conference (ESREL) 2015
Number of pages8
Publication date2015
Publication statusPublished - 2015
Event25th European Safety and Reliability Conference (ESREL 2015) - Zürich, Switzerland
Duration: 7 Sep 201510 Sep 2015
Conference number: 25


Conference25th European Safety and Reliability Conference (ESREL 2015)
Internet address

Cite this