DIFtree: a software package for the analysis of dynamic fault tree models

Author

Dugan, Joanne Bechta ; Venkataraman, Bharath ; Gulati, Rohit

Author_Institution

Dept. of Electr. Eng., Virginia Univ., Charlottesville, VA, USA

fYear

1997

fDate

13-16 Jan 1997

Firstpage

64

Lastpage

70

Abstract

Several advances in fault tree models have been developed as an aid in the analysis of computer systems. Such advances include the ability to model sequence dependencies, the application of fault trees to the analysis of hardware and software fault tolerant systems, the ability to include details of the recovery process in the fault tree solution, and the use of modularization and binary decision diagrams as an aid in solution. In this paper we present a software package (DIFtree) that implements these advances into a single methodology that can solve both dynamic and static fault trees, and which is applicable to the analysis of hardware, software and humanware in complex computer-based systems

Keywords

fault tolerant computing; fault trees; reliability; software packages; software reliability; user interfaces; DIFtree; binary decision diagrams; computer systems analysis; computer-based systems; dynamic fault tree models; dynamic innovative fault tree; graphical interface; hardware fault tolerant systems; humanware; modularization; recovery process; sequence dependencies modelling; software fault tolerant systems; software package; static fault trees; textual interface; Binary decision diagrams; Boolean functions; Data structures; Failure analysis; Fault trees; Packaging; Read-write memory; Software packages; Software tools; Tree graphs;

fLanguage

English

Publisher

ieee

Conference_Titel

Reliability and Maintainability Symposium. 1997 Proceedings, Annual

Conference_Location

Philadelphia, PA

ISSN

0149-144X

Print_ISBN

0-7803-3783-2

Type

conf

DOI

10.1109/RAMS.1997.571666

Filename

571666