System fault-tree analysis is a technique for modeling dependabiity that is in widespread use. For systems that include software, the integration of software data into fault trees has proved problematic. In this paper we discuss a number of techniques that can be used to make the assessment of software dependability by testing both more tractable and more suitable for use in system fault-tree analysis. Some of the techniques are illustrated using an experimental control system for a research nuclear reactor as an example.
展开▼