The Conservativeness of Reliability Estimates Based on Instantaneous Coverage
IEEE Transactions on Computers
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
The reliability of life-critical computer systems
Acta Informatica
Performability analysis of operation modes of configurable duplex systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Analyzing Scheduled Maintenance Policies for Repairable Computer Systems
IEEE Transactions on Computers
Performability Analysis of Distributed Real-Time Systems
IEEE Transactions on Computers
On Evaluating the Cumulative Performance Distribution of Fault-Tolerant Computer Systems
IEEE Transactions on Computers
State space exploration in Markov models
SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
MEASURE+: a measurement-based dependability analysis package
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
On the sensitivity of transient solutions of Markov models
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Computing bounds on steady state availability of repairable computer systems
Journal of the ACM (JACM)
Polling systems with server timeouts and their application to token passing networks
IEEE/ACM Transactions on Networking (TON)
Calculating transient distributions of cumulative reward
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Regenerative randomization: theory and application examples
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
Availability Analysis of Repairable Computer Systems and Stationarity Detection
IEEE Transactions on Computers
Markovian models for performance and dependability evaluation
Lectures on formal methods and performance analysis
A Unified Framework for the Performability Evaluation of Fault-Tolerant Computer Systems
IEEE Transactions on Computers
Incorporation of Optimal Timeouts into Distributed Real-Time Load Sharing
IEEE Transactions on Computers
Stochastic Models for Performance Analysis of Database Recovery Control
IEEE Transactions on Computers
Collecting Unused Processing Capacity: An Analysis of Transient Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
An Eclectic Survey of Bounding Methods for Markov Chain Models
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Computers and Operations Research
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)
Modeling IP traffic using the batch Markovian arrival process
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Modelling Grid5000 point availability with SAN
Electronic Notes in Theoretical Computer Science (ENTCS)
Kleene, Rabin, and Scott are available
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
A New General-Purpose Method for the Computation of the Interval Availability Distribution
INFORMS Journal on Computing
| Hi-index | 0.03 |
Repairable computer systems are considered, the availability behavior of which can be modeled as a homogeneous Markov process. The randomization method is used to calculate various measures over a finite observation period related to availability modeling of these systems. These measures include the distribution of the number of events of a certain type, the distribution of the length of time in a set of states, and the probability of a near-coincident fault. The method is then extended to calculate performability distributions. The method relies on coloring subintervals of the finite observation period based on the particular application, and then calculating the measure of interest using these colored intervals.