Performability analysis of computer systems: from model specification to solution

Performance Evaluation

Volumn 14, Issue 3-4, 1992, Pages 157-196

  de Souza e Silva, Edmundo ^a   Richard Gail, H ^b  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

availability bounds; decomposition; dependability tools; Markov reward models; model specification; performability modeling; randomization technique; state space reduction; transient analysis; uniformization

Indexed keywords

EID: 38249014403     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/0166-5316(92)90003-Y     Document Type: Article

References (97)

1. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
2. A user's view of CARE III
3. Performance-related reliability measures for computing systems
4. An object oriented methodology for the specification of Markov models
5. An aggregation technique for the transient analysis of stiff Markov chains
6. A reliability model for gracefully degrading and standby-sparing systems
7. METFAC: design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems
8. A software package for the analysis of generalized stochastic Petri net models
9. Performability analysis using semi-Markov reward processes
10. SPNP: stochastic Petri net package
11. Performability evaluation of fault-tolerant satellite systems
12. A summary of periodic replacement policies with minimal repair
13. SURF: a program for dependability evaluation of complex fault-tolerant computing systems
14. Error analysis in nearly completely decomposable stochastic systems
15. Bounds for the positive eigenvectors of nonnegative matrices and for their approximations
16. Computable bounds for conditional steady-state probabilities in large Markov chains and queueing models
17. Bounds for transient characteristics of large or infinite Markov chains
18. Calculating availability and performability measures of repairable computer systems using randomization
19. Calculating cumulative operational time distributions of repairable computer systems
20. Calculating availability and performability measures of repairable computer systems using randomization
21. Analyzing scheduled maintenance policies for repairable computer systems
22. Calculating joint queue length distributions in product form queueing networks
23. An integrated algorithm for probabilistic protocol verification and evaluation
24. Dynamic state exploration in quantitative protocol analysis
25. On evaluating the cumulative performance distribution of fault-tolerant computer systems
26. Analysis of a composite performance reliability measure for fault-tolerant systems
27. Extended stochastic Petri nets: applications and analysis
28. Closed-form solutions of performability
29. Ultra-high reliability prediction for fault-tolerant computer systems
30. The system availability estimator
31. Probabilistic modeling of computer system availability
32. Evaluation of performability for degradable computer systems
33. Performability evaluation of multicomponent fault-tolerant systems
34. Transient solutions in Markovian queueing systems
35. Transient solutions in Markovian queues
36. Means and variances of time averages in Markovian environments
37. Numerical solution for Markovian event systems
38. Finding transient solutions in Markovian event systems through randomization
39. The randomization technique as a modeling tool and solution procedure for transient Markov processes
40. Performability modeling tools, evaluation techniques and applications
41. Performability modelling using dynamic queueing networks
42. On the mutual performance-dependability influence in dynamic queueing networks
43. DyQNtool—a performability modelling tool based on the dynamic queueing network concept
44. Iso/Tc97/Sc21/Wg1/Dis9074
45. Recent results in performability analysis
46. Analysis of performability for stochastic models of fault-tolerant systems
47. Markoff chains as an aid in the study of Markoff processes
48. Survey of software tools for evaluating reliability, availabilty and serviceability
49. Numerical evaluation of performability and job completion time in repairable-fault tolerant systems
50. On modelling the performance and reliability of multimode computer systems
51. Performance analysis of networks with unreliable components
52. ARIES 81: a reliability and life-cycle evaluation tool
53. Transient analysis of acyclic Markov chains
54. Effects of near-coincident faults in multiprocessor systems
55. The conservativeness of reliability estimates based on instantaneous coverage
56. Dynamic state exploration in Markovian models
57. Performance evaluation of distributed systems specified in Estelle
58. Randomization procedures in the computation of cumulative-time distributions over discrete state Markov processes
59. Computation-based reliability
60. On evaluating the performability of degradable computing systems
61. On evaluating the performability of degradable computing systems
62. Closed-form solutions of performability
63. A unified approach for specifying measures of performance, dependability, and performability
64. Stochastic activity networks: Structure, behavior, and application
65. Reliability calculation using randomization for Markovian fault-tolerant computing systems
66. Performance analysing using stochastic Petri nets
67. Performability modeling with stochastic activity networks
68. Bounding availability of repairable computer systems
69. Evaluating bounds on steady state availability from Markov models of repairable systems
70. Réseaux de Petri stochastiques
71. Lumping in Markov reward processes
72. A unified performance reliability analysis of a system with a cumulative down time constraint
73. An object-oriented modeling environment
74. On the computational aspects of performability models of fault-tolerant computer systems
75. A method for studying the integral functionals of stochastic processes with applications I Markov chain case
76. Analysis of stiff Markov chains
77. Performance and reliability analysis using directed acyclic graphs
78. Reliability modeling using SHARPE
79. METASAN: a performability evaluation tool based on stochastic activity networks
80. Reduced base model construction methods for stochastic activity networks
81. Aggregation of variables in dynamic systems
82. Performability analysis: measures, an algorithm and a case study
83. Analysis of fault tolerant computer systems
84. Hybrid reliability modeling of fault-tolerant computer systems
85. The importance of bias-terms for error bounds and comparison results
86. Transient error bound analysis for continuous-time Markov reward structures
87. The distribution of linear combinations of order statistics from the uniform distribution
88. Efficient computation of most probable states for communication networks with multimode components