Symbolic integration: the stormy decade
Communications of the ACM
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
REDUCE 2: A system and language for algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Performance modeling for gracefully degrading systems.
Performance modeling for gracefully degrading systems.
Performability models and solutions
Performability models and solutions
Operational models for the evaluation of degradable computing systems
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Performance-Related Reliability Measures for Computing Systems
IEEE Transactions on Computers
Performability Evaluation of the SIFT Computer
IEEE Transactions on Computers
Closed-Form Solutions of Performability
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
| Hi-index | 14.99 |
An algorithm is developed for solving a broad class of performability models wherein system performance is identified with "reward." More precisely, for a system S and a utilization period T, the performance variable of the model is the reward derived from using S during T. The state behavior of S is represented by a finite-state stochastic process (the base model); reward is determined by reward rates associated with the states of the base model. Restrictions on the base model assume that the system in question is not repaired during utilization. It is also assumed that the corresponding reward model is a nonrecoverable process in the sense that a future state (reward rate) of the model cannot be greater than the present state. For this model class, we obtain a general method for determining the probability distribution function of the performance (reward) variable and, hence the performability of the corresponding system. Moreover, this is done for bounded utilization periods. The result is an integral expression which can be solved either analytically or numerically.