Exploring an Integrated Model for Safety Analysis
of Software Dependable Systems
by John Chambers

1 - Intro to the Series

2 - Life at UTD

3 - Research Tips

4 - IFSS Overview

5 - State of the Research
in IFSS - part 1

5 - State of the Research
in IFSS - part 2

5 - State of the Research
in IFSS - part 3

6 - Files Overview

7 - Basics of Statecharts and Fault Trees

8 - Useful Software

9 - Wrap-up