Calculating Cumulative Operational Time Distributions of Repairable Computer Systems
IEEE Transactions on Computers - The MIT Press scientific computation series
Analysis of Performability for Stochastic Models of Fault-Tolerant Systems
IEEE Transactions on Computers
A Measure of Guaranteed Availability and its Numerical Evaluation
IEEE Transactions on Computers
Performability Analysis: Measures, an Algorithm, and a Case Study
IEEE Transactions on Computers - Fault-Tolerant Computing
Journal of the ACM (JACM)
Numerical methods and software
Numerical methods and software
On the Computational Aspects of Performability Models of Fault-Tolerant Computer Systems
IEEE Transactions on Computers
Matrix computations (3rd ed.)
Numerical Methods for Engineers: With Programming and Software Applications
Numerical Methods for Engineers: With Programming and Software Applications
Calculating transient distributions of cumulative reward
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Performability Analysis: A New Algorithm
IEEE Transactions on Computers
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)
Probabilistic Analysis of Real-Time Dependable Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Performability: asymptotic distribution and moment computation
Computers & Mathematics with Applications
A generalized formulation for the performability indicator
Computers & Mathematics with Applications
Performability/energy tradeoff in error-control schemes for on-chip networks
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A New General-Purpose Method for the Computation of the Interval Availability Distribution
INFORMS Journal on Computing
| Hi-index | 14.98 |
The problem of evaluating the performability density and distribution of degradable computer systems is considered. A generalized model of performability is considered, wherein the dynamics of configuration modes are modeled as a nonhomogeneous Markov process, and the performance rate in each configuration mode can be time dependent. The key to the development of a unifying mathematical framework is the introduction of two related performability processes: the forward performability process over the interval (0,t), and the performability-to-go process over the interval (t,T), where T is the mission time. Stochastic differential equations techniques show that the joint density of the forward performability and configuration states satisfies a linear, hyperbolic partial differential equation (PDE) with time-dependent coefficients that runs forward in time, while the performability-to-go process satisfies an adjoint PDE running reverse in time. A numerical method for solving the PDEs is presented and is illustrated with examples.