A discussion of practices for enhancing diversity in software designs

Book English OPEN
Strigini, L. ; Littlewood, B. ; Centre for Software Reliability (2000)
  • Publisher: Centre for Software Reliability, City University London
  • Subject: QA75
  • References (21)
    21 references, page 1 of 3

    [Avizienis 1985] A. Avizienis, “The N-version approach to fault-tolerant software”, IEEE Transactions on Software Engineering, SE-11 (12), pp. 1491-501, 1985.

    [Avizienis et al. 1987] A. Avizienis, M. R. Lyu and W. Schuetz, In search of effective diversity: a six-language study of fault-tolerant flight control software, UCLA Computer Science Department, N°CSD-870060, November 1987 1987.

    [Avizienis & Yutao 1999] A. Avizienis and H. Yutao, “Microprocessor entomology: a taxonomy of design faults in COTS microprocessors”, in 7-th IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7), (C. B. Weinstock and J. Rushby, Eds.), (San Jose, California, USA), pp. 3-23, IEEE, 1999.

    [Bishop et al. 1986] P. Bishop, D. G. Esp, M. Barnes, P. Humphreys, G. Dahll and J. Lahti, “PODS - A Project on Diverse Software”, IEEE Transactions on Software Engineering, SE12 (9), pp. 929-40, 1986.

    [Bishop 1988] P. G. Bishop, “The PODS diversity experiment”, in Software Diversity in Computerized Control Systems (U. Voges, Ed.), pp. 51-84, Springer-Verlag, 1988.

    [Bishop & Pullen 1988] P. G. Bishop and F. D. Pullen, “PODS Revisited - A Study of Software Failure Behaviour”, in 18th International Symposium on Fault-Tolerant Computing, (Tokyo, Japan), pp. 1-8, IEEE Computer Society Press, 1988.

    [Bishop & Pullen 1989] P. G. Bishop and F. D. Pullen, “Failure Masking: A Source of Failure Dependency in Multi-version Programs”, in 1st IFIP Int. Working Conference on Dependable Computing for Critical Applications (DCCA-1), (A. Avizienis and J.-C. Laprie, Eds.), (Santa Barbara, USA), Dependable Computing and Fault-Tolerant Systems Series, 4, pp. 53-73, Springer-Verlag, 1989.

    [Blum & Kannan 1989] M. Blum and S. Kannan, “Designing Programs That Check Their Work”, in 21st Annual ACM Symposium on Theory of Computing, (Seattle, Washington), pp. 86-97, 1989.

    [Blum et al. 1993] M. Blum, M. Luby and R. Rubinfeld, “Self-Testing/Correcting with Applications to Numerical Problems”, Journal of Computer and System Sciences, 47, pp. 549- 95, 1993.

    [Blum & Wasserman 1994] M. Blum and H. Wasserman, “Program Result-Checking: A Theory of Testing Meets a Test of Theory”, in 35th Annual Symposium on Foundations of Computer Science, (Santa Fe, New Mexico), pp. 382-92, 1994.

  • Metrics
    views in OpenAIRE
    views in local repository
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    City Research Online - IRUS-UK 0 16
Share - Bookmark