Section 1:Fault Tree Analysis: Basic Concepts
Lesson 1:Static Fault Trees and Fields of Application
10:02 mins
Lesson 2:Fault Tree Analysis
10:49 mins
Lesson 3:Limitation of Static Fault Trees
10:35 mins
Section 2:Automata-Based Fault Tree Synthesis
Lesson 4:Fault Tree Representation of the System Dysfunctional Behavior
15:26 mins
Lesson 5:Extended Fault Trees
9:34 mins
Lesson 6:A More Accurate Fault Tree Representation of the Automaton
14:53 mins
Lesson 7:Automata-Based Synthesis of Fault Trees with Priority Gates
10:20 mins
Lesson 8:A Generic Triple Redundant (GTR) System
12:43 mins
Section 3:Extension of the Approach to Markov Models
Lesson 9:Reducing Markov Models by Symbolic Calculus
12:39 mins
Lesson 10:Compositional Approach to Reducing Markov Models
15:38 mins