Reliability of Systems with Markov Transfer of Control
IEEE Transactions on Software Engineering
A Simulation Approach to Structure-Based Software Reliability Analysis
IEEE Transactions on Software Engineering
Sensitivity of software system reliability to usage profile changes
Proceedings of the 2007 ACM symposium on Applied computing
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
Hi-index | 0.00 |
A software/hardware system is considered that can be decomposed into a finite number of modules. It is assumed that control of the system is transferred among the modules according to a Markov process. Each module has an associated reliability that gives the probability that the module will operate correctly when called and will transfer control successfully when finished. The measure of reliability considered is the mean number of transitions until failure, starting in a designated initial state. This measure of system reliability is studied in terms of the module reliability and the transition probabilities. Methods of predicting system reliability are obtained and special branching and sequential systems are studied.