DocumentCode :
3167827
Title :
Efficient Analysis Algorithms for Parametric Fault Trees
Author :
Bobbio, Andrea ; Codetta-Raiteri, Daniele ; De Pierro, Massimiliano ; Franceschinis, Giuliana
Author_Institution :
Università del Piemonte Orientale
fYear :
2005
fDate :
19-19 Sept. 2005
Firstpage :
91
Lastpage :
105
Abstract :
The Fault Tree (FT) is a widespread model for the dependability (reliability) analysis. One of its several extensions is called Parametric Fault Tree (PFT) and is oriented to redundant systems providing a compact (parametric) way to model replicated components or subsystems. This paper presents the PFT solution method based on a new form of Binary Decision Diagrams (BDD), called Parametric BDD (pBDD). Such method exploits the parametric form combined with the advantages of the use of BDDs. pBDDs are used for both the qualitative and the quantitative analysis of PFTs. A case of redundant system supports the introduction and the application of the new method.
Keywords :
Algorithm design and analysis; Binary decision diagrams; Boolean functions; Data structures; Fault trees; Performance analysis; Power system modeling; Probability distribution; Stochastic processes; Stochastic systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems, 2005. (FIRB-Perf 2005). 2005 Workshop on
Print_ISBN :
0-7695-2447-8
Type :
conf
DOI :
10.1109/FIRB-PERF.2005.9
Filename :
1587698
Link To Document :
بازگشت