Calculating Cumulative Operational Time Distributions of Repairable Computer Systems
IEEE Transactions on Computers - The MIT Press scientific computation series
On the Computational Aspects of Performability Models of Fault-Tolerant Computer Systems
IEEE Transactions on Computers
On Evaluating the Cumulative Performance Distribution of Fault-Tolerant Computer Systems
IEEE Transactions on Computers
On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Computers - Special issue on fault-tolerant computing
A Unified Framework for the Performability Evaluation of Fault-Tolerant 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
Solving large interval availability models using a model transformation approach
Computers and Operations Research
Adaptive management of connections to meet availability guarantees in SLAs
IM'09 Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management
Performability assessment by model checking of Markov reward models
Formal Methods in System Design
Achieving bounded delay on a time-varying satellite uplink
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
INFORMS Journal on Computing
A fast algorithm for the transient reward distribution in continuous-time Markov chains
Operations Research Letters
INFORMS Journal on Computing
SLA success probability assessment in networks with correlated failures
Computer Communications
A New General-Purpose Method for the Computation of the Interval Availability Distribution
INFORMS Journal on Computing
| Hi-index | 14.99 |
A success (risk) measure of guaranteed availability is proposed. Using a genetic system model, the authors describe the measure and study the effects of the guaranteed level and the observation period on it. Furthermore, they introduce a numerical approach for continuous-time Markov chain models which allows component-level modeling, Coxian failure and repair distributions, time-dependent failure and repair rates and deferred repair and nondeferred repair strategies to be handled. An example of a fault-tolerant database computer system is considered and the measure of guaranteed availability is evaluated for various guaranteed levels and observation periods.