Repairable Fault Tree for the automatic evaluation of repair policies

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2004, Pages 659-668

  Raiteri, Daniele Codetta ^a   Iacono, Mauro ^b   Franceschinis, Giuliana ^c   Vittorini, Valeria ^d  

^a UNIVERSITY OF TURIN   (Italy)

^b SECOND UNIVERSITY OF NAPLES   (Italy)

^c UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^d UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TREE ANALYSIS; INFORMATION TECHNOLOGY; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; PROBABILITY DISTRIBUTIONS; PUBLIC POLICY; REPAIR; STOCHASTIC PROGRAMMING;

DEPENDABILITY; DYNAMIC FAULT TREES (DFT); GENERALIZED STOCHASTIC PETRI NETS (GSPN); PARAMETRIC FAULT TREES (PFT);

SOFTWARE ENGINEERING;

EID: 4544318286     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dsn.2004.1311936     Document Type: Conference Paper

References (15)

1. Anand and A. K. Somani. Hierarchical analysis of fault trees with dependencies, using decomposition. In Proc Annual Reliability and Maintainability Symposium, pages 69-75, 1998.
2. A. Bobbio, G. Franceschinis, R. Gaeta, and G. Portinale. Parametric fault tree for the dependability analysis of redundant systems and its high-level petri net semantics. IEEE Transactions on Software Engineering, 29(3):270-287, March 2003.
3. A. Bobbio and D. Codetta Raiteri. Parametric fault-trees with dynamic gates and repair boxes. In Proc. Reliability and Maintainability Symposium, 459-465, Los Angeles, CA USA, Jan. 2004.
4. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed colored nets and symmetric modeling applications. IEEE Transactions on Computers, 42:1343-1360, 1993.
5. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools, 24(1&2):47-68, November 1995.
6. J. B. Dugan, K. J. Sullivan, and D. Coppit. Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Transactions on Reliability, 49:49-59, 2000.
7. J. B. Dugan, S. J. Bavuso, and M. A. Boyd. Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability, 41:363-377, 1992.
8. Y. Dutuit and A. Rauzy. A linear-time algorithm to find modules of fault trees. IEEE Transactions on Reliability, 45:422-425, 1996.
9. G. Franceschinis, M. Gribaudo, M. Iacono, N. Mazzocca, and V. Vittorini. Towards an object based multi-formalism multi-solution modeling approach. In Proc. of the 2nd Workshop on Modelling of Objects, Components and Agents, MOCA02, Aarhus, DK, August 2002.
10. R. Manian, D. W. Coppit, K. J. Sullivan, and J. B. Dugan Bridging the gap between systems and dynamic fault tree models. In Proc. IEEE Annual Reliability and Maintainability Symposium, pages 105-111, 1999.
11. R.A. Sahner and K.S. Trivedi and A. Puliafito. Performance and Reliability Analysis of Computer Systems; An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publisher, 1996.
12. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley and Sons, 1995.
13. D. P. Siewiorek and R. S. Swarz. Reliable Computer Systems: Design and Evaluation. Digital Press, 1992.
14. V. Vittorini, G. Franceschinis, M. Gribaudo, M. Iacono, and N. Mazzocca. Drawnet++: Model objects to support performance analysis and simulation of complex systems. In Proc. of the 12th Int. Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation (TOOLS 2002), London, UK, April 2002.
15. V. Vittorini, M. Iacono, N. Mazzocca, and G. Franceschinis. OsMoSys: a new approach to multi-formalism modeling of systems. Journal of Software and System Modeling, vol. 3(1):68-81, March 2004.