A tool supporting evaluation of non-markovian fault trees

Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008

Volumn , Issue , 2008, Pages 115-116

  Bucci, G ^a   Carnevali, L ^a   Vicario, E ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TREES; IMPLEMENTATION ARCHITECTURES; INDUSTRIAL PRACTICES; MARKOVIAN; MARKOVIAN DISTRIBUTIONS; OPERATION PRINCIPLES; PROBABILITY DENSITIES; TOOL SUPPORTING;

ARCHITECTURAL DESIGN; PROBABILITY; PROBABILITY DISTRIBUTIONS; RELIABILITY; RELIABILITY ANALYSIS; USER INTERFACES; WIRELESS TELECOMMUNICATION SYSTEMS;

PROBABILITY DENSITY FUNCTION;

EID: 56649083721     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2008.46     Document Type: Conference Paper

References (14)

1. Relex Fault Tree Analysis software, http://www.relex.com.
2. FaultTree+, http://www.faulttree.org.
3. FTA-Pro, http://www.dyadem.com.
4. ITEM ToolKit, http://www.itemsoft.com.
5. R. A. Sahner, K. S. Trivedi, and A. Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, 1996.
6. E. J. Henley and H. Kumamoto, Reliability Engineering and Risk Assessment. Englewood Cliffs, N.J.: Prentice Hall, 1981.
7. W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, Fault Tree Handbook. U. S. Government Printing Office, 1981.
8. S. Rai, "Evaluating FTRE's for dependability measures in fault tolerant systems," IEEE Trans. Comput., vol. 44, no. 2, pp. 275-285, Feb. 1995.
9. M. Malhotra and K. S. Trivedi, "Power-hierarchy of dependability-model types," IEEE Trans. Rel., vol. 43, no. 3, pp. 493-502, Sep. 1994.
10. M. Malhotra and K. Trivedi, "Dependability modeling using Petri Nets," IEEE Trans. Rel., vol. 44, no. 3, pp. 428-440, Sep. 1995.
11. M. M. Ajmone, G. Balbo, and G. Conte, "A class of Generalized Stochastic Petri Nets for the performance evaluation of multiprocessor systems," ACM Trans. Comput. Syst., vol. 2, no. 2, pp. 93-122, May 1984.
12. A. Bobbio, G. Franceschinis, R. Gaeta, and L. Portinale, "Parametric Fault Tree for the dependability analysis of redundant systems and its high-level Petri Net semantics," IEEE Trans. Softw. Eng., vol. 29, no. 3, pp. 270-287, Mar. 2003.
13. Mathemathica 5.1, Wolfram Research, http://www.wolfram.com.
14. J. Dehlinger and R. R. Lutz, "PLFaultCAT: A product-line software Fault Tree analysis tool," Automated Software Engg., vol. 13, no. 1, pp. 169-193, Jan. 2006.