Dependability modeling and analysis in dynamic systems

Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM

Volumn , Issue , 2007, Pages

  DiStefano, Salvatore ^a   Puliafito, Antonio ^a  

^a UNIVERSITY OF MESSINA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DYNAMICAL SYSTEMS; FAULT TREE ANALYSIS; MULTIPROCESSING PROGRAMS; PROGRAM PROCESSORS; RELIABILITY ANALYSIS; SYSTEMS ANALYSIS;

DEPENDABILITY MODELING; RELIABILITY BLOCK DIAGRAMS (RBD); SYSTEM COMPLEXITY;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 34548707284     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2007.370601     Document Type: Conference Paper

References (29)

1. 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., 29(3):270-287, 2003.
2. A. Bobbio, A. Puliafito, and M. Telek. A modeling framework to implement preemption policies in non-markovian spns. IEEE Transaction on Software Engineering, 26(1):3654, 2000.
3. G. Bolch, S. Greiner, H. de Meer, and K. S. Trivedi. Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications. Wiley-Interscience, 2nd edition, May 2006.
4. M. A. Boyd. Dynamic Fault Tree Models: Techniques for Analysis of Advanced Fault Tolerant Computer Systems. PhD thesis, Duke University, Department of Computer Science, Apr. 1991.
5. D. Coppit, K. J. Sullivan, and J. B. Dugan. Formal semantics for computational engineering: A case study on dynamic fault trees. In ISSRE, pages 270-282, 2000.
6. R. Corporation. System Analysis Reference: Reliability Availability and Optimization. Reliasoft Publishing, 2003.
7. S. Distefano. System Dependability and Performances: Techniques, Methodologies and Tools. PhD thesis, University of Messina, 2005.
8. S. Distefano and A. Puliafito. System modeling with dynamic reliability block diagrams. In Proceedings of the Safety and Reliability Conference (ESREL06). ESRA, September 2006.
9. th IEEE Symposium on Reliable Distributed Systems (SRDS'06), pages 106-118, Washington, DC, USA, 2006. IEEE Computer Society.
10. S. Distefano and L. Xing. A new modeling approach: Dynamic reliability block diagrams. In Proceedings of the 52nd Annual Reliability and Mantainability Symposium (RAMS06). IEEE, January 2006.
11. J. B. Dugan, S. Bavuso, and M. Boyd. Dynamic fault tree models for fault tolerant computer systems. IEEE Transactions on Reliability, 41(3):363-377, September 1992.
12. J. B. Dugan and S. A. Doyle. New results in fault-tree analysis. In Reliability and Maintainability Symposium, pages 568 - 573, January 1996. Tutorial Notes.
13. K. D. Figiel and D. R. Suie. A generalized reliability block diagram (rbd) simulation. In Simulation Conference, pages 551-556, 1990.
14. S. G. Gedam and S. Beaudet. Monte carlo simulation using excel(r) spreadsheet for predicting reliability of a complex system. In Reliability and Maintainability Symposium, pages 188- 193, 2000.
15. M. Malhotra and K. S. Trivedi. Reliability and performability techniques and tools: A survey. In MMB, pages 27-48, 1993.
16. M. Malhotra and K. S. Trivedi. Dependability modeling using petri-nets. IEEE Transaction on Reliability, 44(3):428440, September 1995.
17. R. Manian, J. B. Dugan, D. Coppit, and K. J. Sullivan. Combining various solution techniques for dynamic fault tree analysis of computer systems. In IEEE International HighAssurance Systems Engineering Symposium, 1998.
18. S. Montani, L. Portinale, A. Bobbio, and D. C. Raiteri. Automatically translating dynamic fault trees into dynamic bayesian networks by means of a software tool. In Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, pages 804-809. IEEE Computer Society, 2006.
19. J. Muppala, G. Ciardo, and K. Trivedi. Stochastic reward nets for reliability prediction. Communications in Reliability, Maintainability and Serviceability, 1(2):9-20, July 1994.
20. rd edition, November 2003.
21. R. Sahner, K. Trivedi, and A. Puliafito. Performance and Reliability Analysis of Computer Systems: An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publisher, 1996.
22. M. Scarpa, A. Puliafito, and S. Distefano. A parallel approach for the solution of non Markovian Petri Nets. In J. Dongarra and D. Laforenza and S. Orlando, editor, 10th European PVM/MPI Users' Group Conference (EuroPVM/MP103), pages 196-203, Venice, Italy, September/October 2003. Springer Verlag - LNCS 2840.
23. K. J. Sullivan, J. B. Dugan, and D. Coppit. The galileo fault tree analysis tool. In Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing, pages 232-5, Madison, Wisconsin, 15-18 1999. IEEE.
24. K. S. Trivedi, S. Hunter, S. Garg, and R. Fricks. Reliability analysis techniques explored through a communication network example. In International Workshop on ComputerAided Design, Test, and Evaluation for Dependability, July 1996.
25. M. Veeraraghavan and K. S. Trivedi. A combinatorial algorithm for performance and reliability analysis using multistate models. IEEE Trans. Comput., 43(2):229-234, 1994.
26. W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl. Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC, 1981.
27. V. V. Volovoi. Modeling of system reliability using petri nets with aging tokens. Reliability Engineering and System Safety, 84(2):149-161, 2004.
28. W. Wang, J. M. Loman, R. G. Arno, P. Vassiliou, E. R. Furlong, and D. Ogden. Reliability block diagram simulation techniques applied to the ieee std. 493 standard network. IEEE Transaction on Industry Applications, 40(3):887-895, May-June 2004.
29. Z. Zhou, G. Jin, D. Dong, and J. Zhou. Reliability analysis of multistate systems based on bayesian networks. In ECBS '06: Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06), pages 344-352, Washington, DC, USA, 2006. IEEE Computer Society.