|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05)
Efficient Analysis Algorithms for Parametric Fault Trees
Torino, Italy
September 19-September 19
ISBN: 0-7695-2447-8
| ASCII Text | x | ||
| Andrea Bobbio, Daniele Codetta-Raiteri, Massimiliano De Pierro, Giuliana Franceschinis, "Efficient Analysis Algorithms for Parametric Fault Trees," Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems, Workshop on, pp. 91-105, 2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05), 2005. | |||
| BibTex | x | ||
| @article{ 10.1109/FIRB-PERF.2005.9, author = {Andrea Bobbio and Daniele Codetta-Raiteri and Massimiliano De Pierro and Giuliana Franceschinis}, title = {Efficient Analysis Algorithms for Parametric Fault Trees}, journal ={Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems, Workshop on}, volume = {0}, year = {2005}, isbn = {0-7695-2447-8}, pages = {91-105}, doi = {http://doi.ieeecomputersociety.org/10.1109/FIRB-PERF.2005.9}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems, Workshop on TI - Efficient Analysis Algorithms for Parametric Fault Trees SN - 0-7695-2447-8 SP91 EP105 A1 - Andrea Bobbio, A1 - Daniele Codetta-Raiteri, A1 - Massimiliano De Pierro, A1 - Giuliana Franceschinis, PY - 2005 KW - null VL - 0 JA - Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems, Workshop on ER - | |||
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.
Citation:
Andrea Bobbio, Daniele Codetta-Raiteri, Massimiliano De Pierro, Giuliana Franceschinis, "Efficient Analysis Algorithms for Parametric Fault Trees," firb-perf, pp.91-105, 2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.