Probability, statistics, and queueing theory with computer science applications
Probability, statistics, and queueing theory with computer science applications
A combined evaluation of performance and reliability for degradable systems
SIGMETRICS '81 Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Reliability modeling techniques for self-repairing computer systems
ACM '69 Proceedings of the 1969 24th national conference
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
Performance-Related Reliability Measures for Computing Systems
IEEE Transactions on Computers
IEEE Transactions on Computers
Performability Evaluation of the SIFT Computer
IEEE Transactions on Computers
On Evaluating the Performability of Degradable Computing Systems
IEEE Transactions on Computers
Analysis of Performability for Stochastic Models of Fault-Tolerant Systems
IEEE Transactions on Computers
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains
IEEE Transactions on Computers
Evaluation of Performability for Degradable Computer Systems
IEEE Transactions on Computers
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
A new methodology for calculating distributions of reward accumulated during a finite interval
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
A Performability Solution Method for Degradable Nonrepairable Systems
IEEE Transactions on Computers
A generalized formulation for the performability indicator
Computers & Mathematics with Applications
Performability assessment by model checking of Markov reward models
Formal Methods in System Design
Evaluation of system BIST using computational performance measures
ITC'88 Proceedings of the 1988 international conference on Test: new frontiers in testing
On modelling the performance and reliability of multimode computer systems
Journal of Systems and Software
A single server queue in a hard-real-time environment
Operations Research Letters
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Analytical architecture-based performability evaluation of real-time software systems
Journal of Systems and Software
Hi-index | 14.99 |
If computing system performance is degradable, then as recognized in a number of recent studies, system evaluation must deal simultaneously with aspects of both performance and reliability. One approach is the evaluation of a system's "performability," which relative to a specified performance variable Y, generally requires solution of the probability distribution function of Y. In this paper we examine the feasibility of closed-form solutions of performability when Y is continuous. In particular, we consider the modeling of a degradable buffer/multiprocessor system whose performance Y is the (normalized) average throughput rate realized during a bounded interval of time. Employing an approximate decomposition of the model, we show that a closed-form solution can indeed be obtained.