Availability and reliability modeling for computer systems
Advances in computers
High-Availability Computer Systems
Computer
Reliability analysis of the double counter-rotating ring with concentrator attachments
IEEE/ACM Transactions on Networking (TON)
Markov regenerative stochastic Petri nets
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
Performance analysis of Markov regenerative reward models
Performance Evaluation
Analysis of Preventive Maintenance in Transactions Based Software Systems
IEEE Transactions on Computers
Modeling and analysis of stochastic systems
Modeling and analysis of stochastic systems
Reliability Engineering in Systems Design and Operation
Reliability Engineering in Systems Design and Operation
The Effect of Detection and Restoration Times forError Recovery in Communication Networks
Journal of Network and Systems Management
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability
IEEE Transactions on Computers
The reliability of an object with semi-Markov failure rate
Applied Mathematics and Computation
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems
SRDS '02 Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems
Modeling and Analysis of Software Aging and Rejuvenation
SS '00 Proceedings of the 33rd Annual Simulation Symposium
A Non-Homogeneous Markov Software Reliability Model with Imperfect Repair
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
Semi-Markov Availability Modeling of a Redundant System with Partial and Full Rejuvenation Actions
DEPCOS-RELCOMEX '08 Proceedings of the 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX
Symbolic Representation Techniques in Dynamic Reliability Evaluation
HASE '10 Proceedings of the 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering
Evaluating wireless sensor node longevity through Markovian techniques
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.09 |
Quality standards impose increasingly stringent requirements and constraints on quality of service attributes and measures. As a consequence, aspects, phenomena, and behaviors, hitherto approximated or neglected, have to be taken into account in quantitative assessment in order to provide adequate measures satisfying smaller and smaller confidence intervals and tolerances. With specific regards to reliability and availability, this means that interferences and dependencies involving the components of a system can no longer be neglected. Therefore, in order to support such a trend, specific techniques and tools are required to adequately deal with dynamic aspects in reliability and availability assessment. The main goal of this paper is to demonstrate how state-space based techniques can satisfy such a demand. For this purpose some examples of specific dynamic reliability behaviors, such as common cause failure and load sharing, are considered applying state-space based techniques to study the corresponding reliability models. Different repair policies in availability contexts are also explored. Both Markovian and non-Markovian models are studied via phase type expansion and renewal theory in order to adequately represent and evaluate the considered dynamic reliability aspects in case of generally distributed lifetimes and times to repair.