Abstract
In this paper we study the effects on system reliability of the correlation over input space partitions between the rates of failure of two-channel fault-tolerant control software. We use a continuous-time semi-Markov model to describe the behavior of the system. We demonstrate via simulation that the variation of the failure rates of the channels over the partitions of the input space can affect system reliability very significantly. With a plausible range of model parameters we observed that the mean time to system failure may vary by more than an order of magnitude: positive correlation between the channel rates makes the system less reliable while negative correlation between the channel rates implies that the system is more reliable than assuming constant failure rates for the channels. Our observations seem to make a case for more detailed reliability measurements than is typically undertaken in practice.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Littlewood, B., Strigini, L.: Validation of Ultra-High Dependability for Software-based Systems. Communications of the ACM 36(11), 69–80 (1993)
Littlewood, B., Popov, P., et al.: Design Diversity: an Update from Research on Reliability Modelling. In: Safety-Critical Systems Symposium 2001. Springer, Bristol (2001)
Ammann, P.E., Knight, J.C.: Data Diversity: An Approach to Software Fault Tolerance. IEEE Transactions on Computers C-37(4), 418–425 (1988)
Bondavalli, A., Chiaradonna, S., et al.: Dependability Models for Iterative Software Considering Correlation among Successive Inputs. In: IEEE International Symposium on Computer Performance and Dependability (IPDS 1995), Erlangen, Germany (1995)
PERFORM, Möbius: Model Based Environment for Validation of System Reliability, Availability, SEcurity and Performance. User’s Manual, v. 2.0 Draft (2006)
Littlewood, B.: A Semi-Markov Model for Software Reliability with Failure Costs. In: MRI Symposium on Computer Software Engineering, pp. 281–300. Polytechnic Press (Available from Wiley, London), Polytechnic of New York, New York (1976)
David, H.A., Moeschberger, M.L.: The theory of competing risks. Griffin’s Statistical Monographs & Courses, ed. D.S.E. Prof. Alan Stuart, vol. 39, p. 103 (1978)
Popov, P., Strigini, L., et al.: Estimating Bounds on the Reliability of Diverse Systems. IEEE Transactions on Software Engineering 29(4), 345–359 (2003)
Marshall, A.W., Olkin, I.: A generalised bivariate exponential distribution. Journal of Applied Probability 4, 291–302 (1967)
Nadarajah, S., Kotz, S.: Reliability for Some Bivariate Exponential Distributions. Mathematical Problems in Engineering, 2006, 1–14 (2006)
Eckhardt, D.E., Lee, L.D.: A theoretical basis for the analysis of multiversion software subject to coincident errors. IEEE Transactions on Software Engineering SE-11(12), 1511–1517 (1985)
Littlewood, B., Miller, D.R.: Conceptual Modelling of Coincident Failures in Multi-Version Software. IEEE Transactions on Software Engineering SE-15(12), 1596–1614 (1989)
Popov, P., Littlewood, B.: The Effect of Testing on Reliability of Fault-Tolerant Software. In: Dependable Systems and Networks (DSN 2004). IEEE Computer Society Press, Florence (2004)
Bishop, P.G., Pullen, F.D.: PODS Revisited - A Study of Software Failure Behaviour. In: 18th International Symposium on Fault-Tolerant Computing. IEEE Computer Society Press, Tokyo (1988)
Bondavalli, A., Chiaradonna, S., et al.: Modelling the effects of input correlation in iterative software. Reliability Engineering and System Safety 57(3), 189–202 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Popov, P., Manno, G. (2011). The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software. In: Flammini, F., Bologna, S., Vittorini, V. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2011. Lecture Notes in Computer Science, vol 6894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24270-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-24270-0_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24269-4
Online ISBN: 978-3-642-24270-0
eBook Packages: Computer ScienceComputer Science (R0)