A reliability model for Markov structured software

Authors:
B. Littlewood
Affiliations:
Mathematics Department, The City University, London ECIV 4PB, U.K.
Venue:
Proceedings of the international conference on Reliable software
Year:
1975

Citing 0
Cited 7

On the overall reliability of hardware/software systems

ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
How to measure software reliability, and how not to

ICSE '78 Proceedings of the 3rd international conference on Software engineering
Toward an effective software reliability evaluation

ICSE '78 Proceedings of the 3rd international conference on Software engineering
Analysis of error remediation expenditures during validation

ICSE '78 Proceedings of the 3rd international conference on Software engineering
An analytical approach to architecture-based software performance and reliability prediction

Performance Evaluation
Architecture-Based Software Reliability Analysis: Overview and Limitations

IEEE Transactions on Dependable and Secure Computing
A modified Markov model for the estimation of computer software performance

Operations Research Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract

A system is considered in which switching takes place between sub-systems according to a continuous parameter Markov chain. Failures may occur in Poisson processes in the sub-systems, and in the transitions between sub-systems. All failure processes are independent. The overall failure process is described exactly and asymptotically for highly reliable sub-systems. An application to process-control computer software is suggested.