|title:||Better Fault Tree Analysis using Sylvan|
|keywords:||fault tree, attack tree, binary decision diagram, fun|
The analysis of fault trees is a staple in formal methods. In companies like NASA, ESA, SpaceX, Airbus, NRG, etc., fault trees and related concepts like attack trees are used to design and monitor safety-critical systems . Examples of fault tree analysis is computing the system reliability, e.g. the probability that a power plant or a robot or any automated system is operational up to time t, or finding the most vulnerable parts in the system design .
- Understand the basics of fault tree analysis and binary decision diagrams
- Understand how binary decision diagrams can be used in fault tree analysis
- Implement fault tree analysis using Sylvan (a parallel BDD implementation)
- Perform experiments on benchmark models
- Programming experience
- A functioning brain with the desire to do some good science!
- W.E. Vesely, F.F. Goldberg, N.H. Roberts, D.F. Haasl, Fault Tree Handbook, Office of Nuclear Regulatory Research, US Nuclear Regulatory Commision, 1981 (http://www.nrc.gov/reading-rm/doc-collections/nuregs/staff/sr0492/)
- E. Ruijters, M.I.A. Stoelinga, Fault Tree Analysis: A survey of the state-of-the-art in modeling, analysis, and tools, Computer Science Review 15-16, February-May 2015, pp. 29-62 (http://dx.doi.org/10.1016/j.cosrev.2015.03.001)
- R.M. Sinnamon, J.D. Andrews, Fault tree analysis and binary decision diagrams, in Proceedings of the Reliability and Maintainability Symposium (RAMS) 1996, pp. 215-222. (http://dx.doi.org/10.1109/RAMS.1996.500665)
- T. van Dijk, J.C. van de Pol, Sylvan: Multi-Core Decision Diagrams, in Tools and Algorithms for the Construction and Analysis of Systems 2015, pp. 677-691. (http://dx.doi.org/10.1007/978-3-662-46681-0_60)