Conceptual models for the reliability of diverse systems - New results

Digest of Papers - 28th Annual International Symposium on Fault-Tolerant Computing, FTCS 1998

Volumn 1998-January, Issue , 1998, Pages 80-89

  Popov, Peter ^a   Strigini, Lorenzo ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

Common mode failure; Correlation over time; Design diversity; Input space partitioning; Software fault tolerance

Indexed keywords

FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS;

COMMON MODE FAILURES; CONCEPTUAL MODEL; DESIGN DIVERSITY; FAILURE DEPENDENCE; INPUT SPACE PARTITIONING; OPERATING REGIMES; POSITIVE CORRELATIONS; SOFTWARE FAULT TOLERANCES;

SOFTWARE RELIABILITY;

EID: 33745062055     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FTCS.1998.689457     Document Type: Conference Paper

References (26)

1. T. Anderson, P. A. Barrett, D. N. Halliwell and M. R. Moulding, "Software Fault Tolerance: An Evaluation", IEEE TSE, 11, pp. 1502-1510, 1985.
2. J. Arlat, K. Kanoun and J. C. Laprie, "Dependability Modelling and Evaluation of Software Fault-Tolerant Systems", IEEE TC, C-39, pp. 504-513, 1990.
3. P. G. Bishop, "The Variation of Software Survival Time for Different Operational Input Profiles (or why you can wait a long time for a big bug to fail)", in Proc. FTCS-23, Toulouse, France, 1993, pp. 98-107.
4. P. G. Bishop, "Software Fault Tolerance by design diversity", in M. Lyu (Ed.) "Software Fault Tolerance", John Wiley & Sons, 1995, pp. 211-229.
5. P. G. Bishop and F. D. Pullen, "PODS Revisited - A Study of Software Failure Behaviour", in Proc. FTCS-18, Tokyo, Japan, 1988, pp. 1-8.
6. A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini, "Dependability Models for Iterative Software Considering Correlation among Successive Inputs", in Proc. IPDS'95, Erlangen, Germany, 1995, pp. 13-21.
7. S. Chen and S. Mills, "A Binary Markov Process Model for Random Testing", IEEE TSE, 22, pp. 218-223, 1996.
8. A. Csenki, "Recovery Block Reliability Analysis with Failure Clustering", in Proc. DCCA-1, Santa Barbara, CA, USA, August 1989, Vienna, Austria, 1991, pp. 75-103.
9. K. B. Djambazov and P. Popov, "The effects of Testing on the Reliability of Single Version and 1-out-of-2 Software", in Proc. ISSRE'95, Toulouse, 1995, pp. 219-228.
10. J. B. Dugan and M. R. Lyu, "System Reliability Analysis Of An N-Version Programming Application", IEEE TR, 43, pp. 513-519, 1994.
11. D. E. Eckhardt and L. D. Lee, "A theoretical basis for the analysis of multiversion software subject to coincident errors", IEEE TSE, SE-11, pp. 1511-1517, 1985.
12. R. Geist, A. J. Offutt and F. C. Harris, "Estimation and Enhancement of Real-Time Software Reliability through Mutation Analysis", IEEE TC, C-41, pp. 550-558, 1992.
13. A. Gnrarov, J. Arlat and A. Avizienis, "On the Performance of Software Fault-Tolerance Strategies", in Proc. FTCS-10, Kyoto, Japan, 1980, pp. 251-253.
14. R. P. Hughes, "A New Approach to Common Cause Failure", Reliability Engineering, 17, pp. 211-236, 1987.
15. R. K. Iyer and I. Lee, "Measurement-Based Analysis of Software Reliability", in M. Lyu (Ed.) "Handbook of Software Reliability Engineering", McGraw Hill, 1996, pp. 303-358.
16. J. C. Knight and N. G. Leveson, "An Experimental Evaluation of The Assumption of Independence in MultiVersion Programming", IEEE TSE, SE-12, pp. 96-109, 1986.
17. B. Littlewood, "The impact of diversity upon common mode failures", Reliability Engineering and System Safety, 51, pp. 101-113, 1996.
18. B. Littlewood and D. R. Miller, "Conceptual Modelling of Coincident Failures in Multi-Version Software", IEEE TSE, SE-15, pp. 1596-1614, 1989.
19. B. Littlewood and L. Strigini, "Validation of Ultra-High Dependability for Software-based Systems", Communications of the ACM, 36, pp. 69-80, 1993.
20. M. R. Lyu (Ed.), "Software Fault Tolerance", Wiley, 1995.
21. V. F. Nicola and A. Goyal, "Modeling of Correlated Failures and Community Error Recovery in Multiversion Software", IEEE TSE, 16, pp. 350-359, 1990.
22. P. Popov and L. Strigini, "Reliability of diverse systems-new results", Centre for Software Reliability, City University Technical Report, November 1997 URL: http://www.csr.city.ac.uk/papers/1998.html#popov-1
23. S. M. Ross, "Introduction to Probability Models", Academic Press, 1997.
24. L. Strigini, "On testing process control software for reliability assessment: the effects of correlation between successive failures", Software Testing Verification and Reliability, 6, pp. 36-48, 1996.
25. A. T. Tai, A. Avizienis and J. F. Meyer, "Performability Enhancement of Fault-Tolerant Software", IEEE TR, Special Issue on Fault-Tolerant Sofware, R-42, pp. 227-237, 1993.
26. L. A. Tomek, J. K. Muppala and K. S. Trivedi, "Modeling Correlation in Software Recovery Blocks", IEEE TSE, SE-19, pp. 1071-1085, 1993.