Use of Graphical Probabilistic Models to build SIL claims based on software safety standards such as IEC61508-3

Mário Brito, John May, Julio Gallardo, Ed Fergus. Use of Graphical Probabilistic Models to build SIL claims based on software safety standards such as IEC61508-3. In Felix Redmill, Tom Anderson, editors, Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006. pages 241-259, Springer, 2006. [doi]

Abstract

Abstract is missing.