System availability assessment using stochastic models

Applied Stochastic Models in Business and Industry

Volumn 29, Issue 2, 2013, Pages 94-109

  Trivedi, Kishor S ^a   Kim, Dong Seong ^b   Ghosh, Rahul ^a  

^a Duke University   (United States)

^b UNIVERSITY OF CANTERBURY   (New Zealand)

Author keywords

availability; downtime; hierarchical models; Markov models; non state space models; state space models

Indexed keywords

ANALYTIC MODELING; AVAILABILITY ASSESSMENT; DOWNTIME; HIERARCHICAL MODEL; MARKOV MODEL; STATE-SPACE MODELS; SYSTEM AVAILABILITY; UNINTERRUPTED OPERATIONS;

AVAILABILITY; HIERARCHICAL SYSTEMS; MARKOV PROCESSES;

MAINTENANCE;

EID: 84876292576     PISSN: 15241904     EISSN: 15264025     Source Type: Journal    
DOI: 10.1002/asmb.951     Document Type: Conference Paper

References (74)

1. Recommendation ITU-T E.800, Terms and definitions related to quality of service and network performance including dependability. 1994.
2. Birolini A,. Reliability Engineering: Theory and Practice (5th edn). Springer-Verlag: Berlin Heidelberg, 2007.
3. rd edn). A. K. Peters, Ltd: Natick, MA, 1998.
4. Trivedi KS,. Probability and Statistics with Reliability, Queuing, and Computer Science Applications, (2nd edn). John Wiley and Sons: New York, 2001.
5. Chen D, Trivedi KS,. Analysis of periodic preventive maintenance with general system failure distribution. Proceedings of PRDC, Seoul, Korea, 2001; 103-107.
6. Chen D, Trivedi KS,. Optimization for condition-based maintenance with semi-Markov decision process. Reliability Engineering and System Safety 2005; 90 (1): 25-29.
7. Bao Y, Sun X, Trivedi KS,. A workload-based analysis of software aging and rejuvenation. IEEE Transactions on Reliability 2005; 54 (3): 541-548.
8. Dohi T, Goseva-Popstojanova K, Trivedi KS,. Estimating software rejuvenation schedule in high assurance systems. Computer Journal 2001; 44 (6): 473-485.
9. Vaidyanathan K, Dharmaraja S, Trivedi KS,. Analysis of inspection-based preventive maintenance in operational software systems. Proceedings of SRDS, Osaka, Japan, 2002; 286-295.
10. Grottke M, Trivedi KS,. Fighting bugs: remove, retry, replicate and rejuvenate. IEEE Transactions on Computers 2007; 40 (2): 107-109.
11. Tomek L, Muppala J, Trivedi KS,. Modeling correlation in software recovery blocks. IEEE Transactions on Software Engineering (Special Issue on Software Reliability) 1993; 19 (11): 1071-1086.
12. Trivedi KS, Wang D, Hunt DJ, Rindos A, Smith WE, Vashaw B,. Availability modeling of SIP protocol on IBM(c) WebSphere(c). Proceedings of PRDC, Taipei, Taiwan, 2008; 323-330.
13. Trivedi KS,. Availability analysis of cisco GSR 12000 and juniper M20/M40. Technical Report, 2000.
14. Mendiratta V,. Reliability analysis of clustered computing systems. Proceedings of International Symposium on Software Reliability Engineering, Boca Raton, FL, 1999; 268-272.
15. Nakagawa T,. Maintenance Theory of Reliability. Springer: London, 2005; 43.
16. Reibman A, Smith RM, Trivedi KS,. Markov and markov reward model transient analysis: An overview of numerical approaches. European Journal of Operational Research 1989; 40: 257-267.
17. Smith RM, Trivedi KS, Ramesh AV,. Performability analysis: Measures, an algorithm, and a case study. IEEE Transactions on Computers 1988; 37 (4): 406-417.
18. Smith RM, Trivedi KS,. The analysis of computer systems using Markov reward processes. In Stochastic analysis of computer and communication systems, Takagi H, (ed.). Elsevier Science Publishers B.V.: North-Holland, 1990; 589-629.
19. Haberkorn M, Trivedi KS,. Availability monitor for a software based system. Proceedings of HASE, Dallas, Texas, 2007; 321-328.
20. Nicol DM, Sanders WH, Trivedi KS,. Model-based evaluation: From dependability to security. IEEE Transactions on Dependable and Secure Computing 2004; 01 (1): 48-65.
21. Trivedi KS, Kim DS, Roy A, Medhi D,. Dependability and security models. Proceedings of DRCN, Washington, D.C., 2009; 11-20.
22. Haring G, Marie R, Puigjaner R, Trivedi KS,. Loss formulae and their application to optimization for cellular networks. IEEE Transactions on Vehicular Technology 2001; 50 (3): 664-673.
23. Longo F, Ghosh R, Naik VK, Trivedi KS,. A scalable availability model for infrastructure-as-a-service cloud. Proceedings of DSN, Hong Kong, China, 2011; 335-346.
24. Mainkar V, Trivedi KS,. Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models. IEEE Transactions on Software Engineering 1996; 22 (9): 640-653.
25. Tomek L, Trivedi KS,. Fixed-point iteration in availability modeling. Informatik-Fachberichte, Vol. 283, Dal Cin M, (ed.), Fehlertolerierende Rechensysteme. Springer-Verlag: Berlin, 1991; 229-240.
26. Doss K,. Personal Communication. 2000.
27. Zang X, Wang D, Sun H, Trivedi KS,. A BDD-based algorithm for analysis of multistate systems with multistate components. IEEE Transactions on Computers 2003; 52 (12): 1608-1618.
28. Wang D, Trivedi KS, Sharma T, Ramesh A, Twigg D, Nguyen L, Liu Y,. A new reliability estimation method for large systems. The Boeing Company patent application pending. 2011.
29. Yin L, Fricks RM, Trivedi KS,. Application of semi-Markov process and CTMC to evaluation of UPS system availability. Proceedings of Reliability and Maintainability Symposium, Seattle, Washington, 2002; 584-591.
30. Kulkarni VG,. Modeling and Analysis of Stochastic Systems, (2nd edn). CRC Press: Boca Raton, FL, 2010.
31. Bolch G, Greiner S, de Meer H, Trivedi KS,. Queueing Networks and Markov Chains (2nd edn). John Wiley: Hoboken, NJ, 2006.
32. Stewart WJ,. Introduction to the Numerical Solution of Markov Chains. Princeton Univ. Press: Princeton, NJ, 1994.
33. Distefano S, Trivedi KS,. Transient behavior of CTMCs. In Wiley Encyclopedia of Operations Research and Management Science, Kharoufeh J, (ed.). John Wiley: Hoboken, NJ, 2010.
34. Lanus M, Yin L, Trivedi KS,. Hierarchical composition and aggregation of state-based availability and performability models. IEEE Transaction on Reliability 2003; 52 (1): 44-52.
35. Malhotra M, Trivedi KS,. Power-hierarchy of dependability-model types. IEEE Transactions on Reliability 1994; 43 (3): 493-502.
36. Malhotra M, Trivedi KS,. Dependability modeling using petri-nets. IEEE Transactions on Reliability 1995; 44 (3): 428-440.
37. Chen D, Dharmaraja S, Chen D, Li L, Trivedi KS, Some RR, Nikora AP,. Reliability and availability analysis for the JPL remote exploration and experimentation system. Proceedings of DSN, Bethesda, Maryland, 2002; 337-342.
38. Kim DS, Machida F, Trivedi KS,. Availability modeling and analysis of a virtualized system. Proceedings of PRDC, Shanghai, China, 2009; 365-371.
39. Smith WE, Trivedi KS, Tomek LA, Ackaret J,. Availability analysis of blade server systems. IBM Systems Journal 2008; 47 (4): 621-640.
40. Trivedi KS, Vasireddy R, Trindade D, Nathan S, Castro R,. Modeling high availability systems. Proceedings of PRDC, University of California, Riverside, 2006; 154-164.
41. Das CR, Mohapatra P, Tien L, Bhuyan LN,. An availability model for MIN-based multiprocessors. IEEE Transactions on Parallel and Distributed Systems 1993; 4 (10): 1118-1129.
42. Muppala J, Sathaye A, Howe R, Trivedi KS,. Dependability modeling of a heterogeneous VAXcluster system using stochastic reward nets. Hardware and Software Fault Tolerance in Parallel Computing Systems, Avresky D, (ed.). Ellis Horwood Ltd.: Upper Saddle River, NJ, 1992.
43. Bellcore. Reliability and Quality Measurements for Telecommunications Systems (RQMS), Generic Requirements: Bellcore, no. 3. Nov. 1997.
44. Bobbio A, Trivedi KS,. An aggregation technique for the transient analysis of stiff markov chains. IEEE Transactions on Computers 1986; C-35 (9): 803-814.
45. Bobbio A, Trivedi KS,. Computing cumulative measures of stiff markov chains using aggregation. IEEE Transactions on Computers 1990; 39 (10): 1291-1298.
46. Kleinrock L,. Queuing Systems, Volume 1: Theory. John Wiley and Sons: New York, NY, 1975.
47. Technical Backgrounder, Cisco 12000 Gigabit Switch Router Family Layer 3 Protection Switching. http://www.cisco.com/warp/public/cc/pd/rt/12000/12016/ tech/layer{\-}bg.htm.
48. Lee F, Marathe M,. Beyond Redundancy: A Guide to Designing High-Availability Networks. 1999.
49. Trivedi KS, Sahner R,. SHARPE at the age of twenty two. Sigmetrics Performance Evaluation Review-SIGMETRICS 2009; 36 (4): 52-57.
50. Lee F,. Cisco high availability initiatives and related design parameters. 2000.
51. Floyd P, Hawkins M,. High Availability: Design, Techniques, and Processes. Prentice Hall: Upper Saddle River, NJ, 2001.
52. Fricks R, Puliafito A, Trivedi KS,. Performance analysis of distributed real-time databases. Proceedings of IEEE International Computer Performance and Dependability Symposium, Durham, NC, 1998; 184-194.
53. Muppala J, Ciardo G, Trivedi KS,. Stochastic reward nets for reliability prediction. Communications in reliability, maintainability and serviceability: An International journal published by SAE international 1994; 1 (2): 9-20.
54. Trivedi KS, Kim DS, Yin X,. Multi-State availability modeling in practice. In Recent Advances in System Reliability, Lisnianski A, Frenkel I, (eds). Springer: Heidelberg, 2012; 165-180.
55. Vaidyanathan K, Harper RE, Hunter SW, Trivedi KS,. Analysis of software rejuvenation in cluster systems using stochastic reward nets. Journal of Mathematical Sciences 2002: 1.
56. Grottke M, Nikora AP, Trivedi KS,. An empirical investigation of fault types in space mission system software. Proceedings of DSN, Chicago, IL, 2010; 447-456.
57. Pecchia A, Cotroneo D, Kalbarczyk Z, Iyer RK,. Improving log-based field failure data analysis of multi-node computing systems. Proceedings of DSN, Hong Kong, China, 2011; 97-108.
58. Malek M,. Online dependability assessment through runtime monitoring and prediction, panel contribution. Proceedings of EDCC, Kaunas, Lithuania, 2008; 181.
59. Mishra K, Trivedi KS,. Model based approach for autonomic availability management. In Service Availability, Penkler D, Reitenspiess M, Tam F, (eds). Springer: Berlin, Heidelberg, 2006; 1-16.
60. Vaidyanathan K, Trivedi KS,. A comprehensive model for software rejuvenation. IEEE Transactions on Dependable and Secure Computing 2005; 2 (2): 124-137.
61. Xie W, Hong Y, Trivedi KS,. Analysis of a two level software rejuvenation policy. Reliability Engineering and System Safety 2005; 87 (1): 13-22.
62. Garg S, van Moorsel A, Vaidyanathan K, Trivedi KS,. A methodology for detection and estimation of software aging. Proceedings of ISSRE, Paderborn, Germany, 1998; 283-292.
63. Grottke M, Li L, Vaidyanatha K, Trivedi KS,. Analysis of software aging in a web server. IEEE Transactions on Reliability 2006; 55 (3): 411-420.
64. Hoffmann G, Trivedi KS, Malek M,. A best practice guide to resource forecasting for computing systems. IEEE Transactions on Reliability 2007; 56 (4): 615-628.
65. Salfner F, Lenk M, Malek M,. A survey of online failure prediction methods. ACM Computing Surveys 2010; 42 (3): 1-42.
66. Alonso J, Belanche L, Avresky D,. Predicting software anomalies, using machine learning techniques. Proceedings of IEEE NCA, Cambridge, MA, 2011; 163-170.
67. Alonso J, Berral JL, Gavaldà R, Torres J,. Adaptive on-line software aging prediction based on machine learning. Proceedings of DSN, Hong Kong, China, 2011; 507-516.
68. Zhao J, Jin Y, Matias R, Trivedi KS,. Injecting memory leak to accelerate software failure. Proceedings of ISSRE, Hiroshima, Japan, 2011.
69. IT Governance Institute. Control Objectives for Information and Related Technologies (CobiT) 4.1. 2007.
70. Office of Government Commerce (UK), ITIL Lifecycle Publication Suite, Version 3: Continual Service Improvement, Service Operation, Service Strategy, Service Transition, Service Design, 3, Ed. Stationery Office. 2007.
71. Goldschmidt T, Dittrich A, Malek M,. Quantifying criticality of dependability-related IT organization processes in CobiT. Proceedings of PRDC, Shanghai, China, 2009; 336-341.
72. Fricks R, Trivedi KS,. Modeling failure dependencies in reliability analysis using stochastic petri nets. Proceedings of ESM, Istanbul, Turkey, 1997.
73. Goseva-Popstojanov K, Trivedi KS,. Stochastic modeling formalisms for dependability, performance and performability. In Performance Evaluation-Origins and Directions, Lecture Notes in Computer Science, Haring G, Lindemann C, Reiser M, (eds). Springer-Verlag: London, 2000; 385-404.
74. Sahner RA, Trivedi KS, Puliafito A,. Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publishers: Norwell, MA, 1996.