This Article 
 Bibliographic References 
 Add to: 
Reliability of Systems with Markov Transfer of Control
July 1988 (vol. 14 no. 7)
pp. 1049-1053

Software/hardware systems are considered which 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 which gives the probability that the module will operate correctly when called and will transfer control successfully when finished. The system will eventually either fail or complete its task successfully and enter a terminal state. The reliability of the system is studied in terms of the module reliabilities and the transition probabilities. Improved methods of predicting system reliability, allocating module reliability, and determining module sensitivity are developed. Special branching and sequential systems are studied in detail.

[1] R. C. Cheung, "A user-oriented software reliability model,"IEEE Trans. Software Eng., vol. SE-6, Mar. 1980.
[2] B. Littlewood, "Software reliability model for modular program structure,"IEEE Trans. Rel., vol. R-28, Aug. 1979.
[3] E. Cinlar,Introduction to Stochastic Processes. Englewood Cliffs, NJ: Prentice-Hall, 1975.
[4] E. C. Soistman and K. B. Ragsdale, "Combined hardware/software reliability prediction methodology," vol. II, Rome Air Develop. Cen. Contract Rep. OR-18-173, Dec 1984.

Index Terms:
software reliability; branching systems; Markov process; probability; module reliabilities; transition probabilities; sequential systems; Markov processes; probability; software reliability
K. Siegrist, "Reliability of Systems with Markov Transfer of Control," IEEE Transactions on Software Engineering, vol. 14, no. 7, pp. 1049-1053, July 1988, doi:10.1109/32.42744
Usage of this product signifies your acceptance of the Terms of Use.