A general software availability/reliability model: numerical exploration via the matrix laguerre transform
- 1 January 1986
- journal article
- research article
- Published by Taylor & Francis in Communications in Statistics. Stochastic Models
- Vol. 2 (2) , 203-236
- https://doi.org/10.1080/15326348608807033
Abstract
In this paper, a new software availability/ reliability model is developed where lifetimes and repair times have general system-state-dependent distributions. Multiple errors may be introduced or removed through repairs. The model is formulated as a multivariate Markov process and contains many other models which have appeared in the literatu/e as special cases. The exponentiality assumption prevalent in the literature is totally eliminated. Expressions of various performance measures of practical interest combining availability and reliability of the software system at time t are derived. Using the matrix Laguerre transform of Sumita [13], corresponding computational procedures are also developed. A numerical example is given, demonstrating speed, accuracy and stability of these procedures.Keywords
This publication has 10 references indexed in Scilit:
- The matrix Laguerre transformApplied Mathematics and Computation, 1984
- On a software availability model with imperfect maintenanceOperations Research Letters, 1984
- Birth-Death and Bug CountingIEEE Transactions on Reliability, 1983
- Software reliability models: A reviewMicroelectronics Reliability, 1983
- Software Reliability—Status and PerspectivesIEEE Transactions on Software Engineering, 1982
- The bilateral Laguerre transformApplied Mathematics and Computation, 1981
- Laguerre transformation as a tool for the numerical solution of integral equations of convolution typeApplied Mathematics and Computation, 1979
- Markov renewal theoryAdvances in Applied Probability, 1969
- On the General Time Dependent Queue with a Single ServerThe Annals of Mathematical Statistics, 1962
- On Time Dependent Queuing ProcessesThe Annals of Mathematical Statistics, 1960