Limited usefulness of BDDs for mean failure frequency calculation

Journal Europeen des Systemes Automatises

Volumn 30, Issue 8, 1996, Pages 1131-1136

  Schneeweiss, Winfrid G ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

BDD limitation; Mean failure frequency; MTTF; MTTR

Indexed keywords

EID: 0742311441     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. 20 prime implicants and beyond. Proc. Ann. Reliability & Maintainability Symp. 1993, 240-245.
2. (COMA94) O. Coudert, J. Madre: MetaPrime: An interactive fault-tree analyzer. IEEE Trans. R 43 (1994), 121-127.
3. (AKER78) S. Akers: Binary decision diagrams. IEEE Trans. G 27 (1978), 509-516.
4. (SCHN81) W. Schneeweiss: Computing failure frequency, MTBF & MTTR via mixed products of availabilities and unavailabilities. IEEE Trans. R 30 (1981), 362-363.
5. (SCHN89) W. Schneeweiss: Boolean Functions with Engineering Applications and Computer Programs. Heidelberg, New York: Springer 1989.
6. (SCHN9O) W. Schneeweiss: Fast fault-tree evaluation for many sets of input data. IEEE Trans. R 39 (1990), 296-300.
7. (SCHN93) W. Schneeweiss: Calculating MTBF for modularized fault-trees. Proc. Ann. Reliability & Maintainability Symp. 1993, 206-213.
8. (SCHN95) W. Schneeweiss: Recursive analysis of fault trees of big K-out-of-N systems with non-identical components. Proc. 2nd. ISSAT Conf. Reliability & Quality in Design, 1995, 70-73.