Luke Thomas Herbert
YOU?
Author Swipe
View article: Quantifying system safety: A comparison of the SBOAT & Safety Barrier Manager tools
Quantifying system safety: A comparison of the SBOAT & Safety Barrier Manager tools Open
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 quantitativ…