Investigating dynamic reliability and availability through state-space models

Computers and Mathematics with Applications

Volumn 64, Issue 12, 2012, Pages 3701-3716

  Distefano, Salvatore ^a   Longo, Francesco ^b   Trivedi, Kishor S ^c  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF MESSINA   (Italy)

^c Duke University   (United States)

Author keywords

Availability; Markov regenerative processes; Non Markovian models; Phase type expansion; Reliability; Semi Markov models

Indexed keywords

COMMON CAUSE FAILURE; CONFIDENCE INTERVAL; DYNAMIC ASPECTS; DYNAMIC RELIABILITY; LOAD SHARING; MARKOV REGENERATIVE PROCESS; MARKOVIAN; NON-MARKOVIAN; QUALITY STANDARD; QUANTITATIVE ASSESSMENTS; RELIABILITY AND AVAILABILITY; RELIABILITY MODEL; RENEWAL THEORY; REPAIR POLICY; SEMI MARKOV MODEL; STATE-SPACE; STATE-SPACE MODELS; STRINGENT REQUIREMENT;

AVAILABILITY; MARKOV PROCESSES; QUALITY OF SERVICE;

RELIABILITY;

EID: 84870249108     PISSN: 08981221     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.camwa.2012.02.038     Document Type: Article

References (61)

1. J. Gray, and D.P. Siewiorek High-availability computer systems IEEE Computer 9 1991 39 48
2. L. Bernstein Innovative technologies for preventing network outages AT&T Technical Journal 72 4 1993 9 10
3. K.S. Trivedi, K. Vaidyanathan, K. Goseva-Popstojanova, Modeling and analysis of software aging and rejuvenation, in: 33rd Annual Simulation Symposium, 2000. (SS 2000) Proceedings, 2000, pp. 270-279. doi:10.1109/SIMSYM. 2000.844925.
4. M. Grottke, R. Matias, K.S. Trivedi, The fundamentals of software aging, in: Software Reliability Engineering Workshops, 2008. ISSRE Wksp 2008. IEEE International Conference on, 2008, pp. 1-6. doi:10.1109/ISSREW.2008.5355512.
5. D.I. Heimann, N. Mittal, and K. Trivedi Availability and reliability modeling for computer systems M.C. Yovits, Advances in Computers vol.~31 1990 Academic Press San Diego, CA, USA 175 233
6. J.K. Muppala, M. Malhotra, and K.S. Trivedi Markov dependability models of complex systems: analysis techniques S. Özekici, Reliability and Maintenance of Complex Systems 1996 Springer Berlin, Germany 442 486
7. R. Sahner, K.S. Trivedi, and A. Puliafito Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package 1995 Kluwer Academic Publishers Dordrecht, The Netherlands
8. B.S. Dhillon Reliability Engineering in Systems Design and Operation 1983 Van Nostrand Reinhold New York, NY, USA
9. K.S. Trivedi, and R.M. Geist Decomposition in reliability analysis of fault-tolerant computer systems IEEE Transactions on Reliability 32 5 1983 463 468
10. R. Geist, M. Smotherman, K.S. Trivedi, and J. Bectha Dugan Reliability analysis of life-critical systems Acta Informatica 23 6 1986
11. R.M. Geist, M. Smotherman, K.S. Trivedi, and J.B. Dugan The use of Weibull fault processes in modeling fault tolerant systems AIAA Journal of Guidance, Control, and Dynamics 11 1988 91 93 (Pubitemid 18593295)
12. R. Fricks, M. Telek, A. Puliafito, and K. Trivedi Markov renewal theory applied to performability evaluation K. Bagchi, G. Zobrist, State-of-the Art in Performance Modeling and Simulation. Modeling and Simulation of Advanced Computer Systems: Applications and Systems 1997 Gordon and Breach Publishers Newark, NJ, EUA 193 236
13. R. Fricks, L. Yin, K. Trivedi, Application of semi-Markov process and CTMC to evaluation of UPS system availability, in: RAMS'2002, 2002, pp. 584-591. (Pubitemid 34236601)
14. M. Perman, A. Senegacnik, and M. Tuma Semi-Markov models with an application to power-plant reliability analysis IEEE Transactions on Reliability 46 4 1997 526 532 (Pubitemid 127827236)
15. N. Wereley, B. Walker, Approximate semi-Markov chain reliability models, in: 27th IEEE Conference on Decision and Control, vol. 3, 1988, pp. 2322-2329.
16. K.S. Trivedi, J.K. Muppala, S.P. Woolet, and B.R. Haverkort Composite performance and dependability analysis Performance Evaluation 14 3 & 4 1992 197 216
17. S.S. Gokhale, T. Philip, and P.N. Marinos A non-homogeneous Markov software reliability model with imperfect repair Computer Performance and Dependability Symposium, International 1996 262 http://doi.ieeecomputersociety. org/10.1109/IPDS.1996.540227
18. S. Garg, A. Puliafito, M. Telek, and K.S. Trivedi Analysis of preventive maintenance in transactions based software systems IEEE Transactions on Computers 47 1 1998 96 107 10.1109/12.656092 (Pubitemid 128740944)
19. Y. Bao, X. Sun, K.S. Trivedi, Adaptive software rejuvenation: degradation model and rejuvenation scheme, in: International Conference on Dependable Systems and Networks, 2003. Proceedings, 2003, pp. 241-248. doi:10.1109/DSN. 2003.1209934.
20. Y. Bao, X. Sun, and K.S. Trivedi A workload-based analysis of software aging, and rejuvenation IEEE Transactions on Reliability 54 3 2005 541 548 10.1109/TR.2005.853442 (Pubitemid 41638271)
21. V.P. Koutras, A.N. Platis, and G.A. Gravvanis On the optimization of free resources using non-homogeneous Markov chain software rejuvenation model Reliability Engineering & System Safety 92 12 2007 1724 1732 10.1016/j.ress.2006.09.017 Special issue on ESREL 2005 (Pubitemid 47088934)
22. E. Çinlar Introduction to Stochastic Processes 1975 Prentice-Hall Englewood Cliffs, NJ, USA
23. V.G. Kulkarni Modeling and Analysis of Stochastic Systems 1995 Chapman & Hall London, UK
24. W.L. Smith Renewal theory and its ramifications Journal of the Royal Statistical Society, Series B 20 2 1958 243 302
25. R. German, D. Logothetis, K.S. Trivedi, Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches, in: Proceedings of the 6th International Workshop on Petri Nets and Performance Models - PNPM'95, Durham, NC, USA, 1995, pp. 103-111.
26. D. Logothetis, and K. Trivedi Dependability evaluation of the double counter-rotating ring with concentrator attachments ACM/IEEE Transactions on Networks 2 5 1994 520 532
27. D. Logothetis, and K. Trivedi Time-dependent behavior of redundant systems with deterministic repair W.J. Stewart, Computations with Markov Chains 1995 Kluwer Academic Publishers Norwell, MA, USA 135 150
28. D. Logothetis, and K. Trivedi The effect of detection and restoration times for error recovery in communication networks Journal of Network and Systems Management 5 2 1997 173 195 10.1023/A:1018722928191 (Pubitemid 127509073)
29. V. Mainkar, K. Trivedi, Approximate analysis of priority scheduling systems using stochastic reward nets, in: Proceedings of the 13th International Conference on Distributed Computing Systems - ICDCS'93, Pittsburgh, PA, USA, 1993, pp. 466-473. (Pubitemid 23674517)
30. M. Telek, and A. Pfening Performance analysis of Markov regenerative reward models Performance Evaluation 27 & 28 1996 1 18 (Pubitemid 126382436)
31. T. Nakagawa, and S. Osaki Markov renewal processes with some non-regeneration points and their applications to reliability theory Microelectronics Reliability 15 6 1976 633 636 10.1016/0026-2714(76)90284-5
32. Q. Jin, Y. Sugasawa, and K. Seya Probabilistic behavior and reliability analysis for a multi-robot system by applying petri net and Markov renewal process theory Microelectronics and Reliability 29 6 1989 993 1001 10.1016/0026-2714(89)90024-3 (Pubitemid 20634715)
33. N. Limnios, and G. Oprisan Semi-Markov Processes and Reliability, Statistics for Industry and Technology 2001 Birkhäuser Boston, MA, USA
34. J. Janssen, and R. Manca Semi-Markov Risk Models for Finance, Insurance and Reliability 2007 Springer
35. R.E. Barlow, and F. Proschan Mathematical Theory of Reliability, Classics in Applied Mathematics 1965 Wiley New York
36. A. Lisnianski, and G. Levitin Multi-State System Reliability - Assessment, Optimization and Applications Series On Quality, Reliability And Engineering Statistics vol. 6 2003 World Scientific Publishing Co.
37. A. Csenki On the interval reliability of systems modelled by finite semi-Markov processes Microelectron. Reliab. 34 8 1994 1319 1335 (Pubitemid 124015614)
38. A. Csenki Joint interval reliability for Markov systems with an application in transmission line reliability Reliability Engineering & System Safety 92 6 2007 685 696 10.1016/j.ress.2006.11.007 (Pubitemid 46135965)
39. L. Yin, R. Fricks, K. Trivedi, Application of semi-Markov process and CTMC to evaluation of ups system availability, in: Reliability and Maintainability Symposium, 2002. Proceedings. Annual, 2002, pp. 584-591. doi:10.1109/RAMS.2002.981706. (Pubitemid 34236601)
40. A. Pievatolo, E. Tironi, and I. Valade Semi-Markov processes for power system reliability assessment with application to uninterruptible power supply Power Systems, IEEE Transactions on 19 3 2004 1326 1333 10.1109/TPWRS.2004. 826756
41. F. Grabski The reliability of an object with semi-Markov failure rate Applied Mathematics and Computation 135 1 2003 1 16 10.1016/S0096-3003(01)00271- 5
42. K. Vaidyanathan, D. Selvamuthu, and K.S. Trivedi Analysis of inspection-based preventive maintenance in operational software systems Reliable Distributed Systems, IEEE Symposium on 2002 286 http://doi.ieeecomputersociety. org/10.1109/RELDIS.2002.1180199
43. V.P. Koutras, and A.N. Platis Semi-Markov availability modeling of a redundant system with partial and full rejuvenation actions Dependability of Computer Systems, International Conference on 2008 127 134 http://doi. ieeecomputersociety.org/10.1109/DepCoS-RELCOMEX.2008.13
44. W. Xie, H. Sun, Y. Cao, K.S. Trivedi, Modeling of user perceived web server availability, in: Proceedings of the IEEE International Conference on Communications, 2003.
45. I. Mura, and A. Bondavalli Markov regenerative stochastic petri nets to model and evaluate phased mission systems dependability IEEE Transactions on Computers 50 12 2001 1337 1351 http://doi.ieeecomputersociety.org/10.1109/TC. 2001.970572 (Pubitemid 34069216)
46. Y. chang Mo, D. Siewiorek, and X. zong Yang Mission reliability analysis of fault-tolerant multiple-phased systems Reliability Engineering & System Safety 93 7 2008 1036 1046 10.1016/j.ress.2007.05.001 Bayesian Networks in Dependability (Pubitemid 351305188)
47. W. Xie, Markov Regenerative Process in Sharpe, Master's Thesis, Duke University, Department of Electrical and Computer Engineering, Durham, NC, USA, 1999.
48. I.A. Papazoglou Semi-Markovian reliability models for systems with testable components and general test/outage times Reliability Engineering & System Safety 68 2 2000 121 133 10.1016/S0951-8320(00)00003-X
49. J.A. Faria, and M.A. Matos An analytical methodology for the dependability evaluation of non-Markovian systems with multiple components Reliability Engineering & System Safety 74 2 2001 193 210 10.1016/S0951-8320(01)00073-4 (Pubitemid 32935126)
50. F. Brokemeyer, H.S. Halstron, and A. Jensen The life and works of A.K. Erlang Transactions of the Danish Academy of Technical Sciences 2 1948
51. M.F. Neuts Renewal process of phase type Naval Research Logistics Quarterly 25 3 1978 445 454
52. R. Perez-Ocon, and J.E.R. Castro Two models for a repairable two-system with phase-type sojourn time distributions Reliability Engineering & System Safety 84 3 2004 253 260 10.1016/j.ress.2003.11.006
53. D. Montoro-Cazorla, and R. Perez-Ocon A deteriorating two-system with two repair modes and sojourn times phase-type distributed Reliability Engineering & System Safety 91 1 2006 1 9 10.1016/j.ress.2003.12.013 (Pubitemid 41277075)
54. J.E. Ruiz-Castro, R. Perez-Ocon, and G. Fernndez-Villodre Modelling a reliability system governed by discrete phase-type distributions Reliability Engineering & System Safety 93 11 2008 1650 1657 10.1016/j.ress.2008.01.005
55. S.V. Amari, A.F. Myers, A. Rauzy, and K.S. Trivedi Imperfect coverage models: status and trends K.B. Misra, Handbook of Performability Engineering 2008 Springer London 321 348 10.1007/978-1-84800-131-222 URL http://dx.doi.org/10.1007/978-1-84800-131-222
56. M. Malhotra, and A. Reibman Selecting and implementing phase approximations for semi-Markov models Stochastic Models 9 4 1993 473 506
57. Wolfram Research, Wolfram Mathematica® Website URL: http://www.wolfram.com/products/mathematica/index.html, 2011.
58. L. Bodrog, A. Heindl, G. Horváth, and M. Telek A Markovian canonical form of second-order matrix-exponential processes European Journal of Operational Research 127 2 2008 459 477 (Pubitemid 351491515)
59. H. Choi, V.G. Kulkarni, and K.S. Trivedi Markov regenerative stochastic Petri nets Performance Evaluation 20 1994 337 357
60. D. Bruneo, S. Distefano, F. Longo, A. Puliafito, and M. Scarpa Evaluating wireless sensor node longevity through Markovian techniques Computer Networks 56 2 2012 521 532 10.1016/j.comnet.2011.10.003
61. S. Distefano, F. Longo, M. Scarpa, Symbolic representation techniques in dynamic reliability evaluation, in: High-Assurance Systems Engineering (HASE), 2010 IEEE 12th International Symposium on, 2010, pp. 45-53. doi:10.1109/HASE. 2010.28.