LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Strigini, L.; Littlewood, B.; Centre for Software Reliability (2000)
Publisher: Centre for Software Reliability, City University London
Languages: English
Types: Book
Subjects: QA75
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [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.
    • [Brilliant et al. 1990] S. S. Brilliant, J. C. Knight and N. G. Leveson, “Analysis of Faults in an N-Version Software Experiment”, IEEE Transactions on Software Engineering, SE-16 (2), pp. 238-47, February 1990.
    • [Burlando et al. 1992] P. Burlando, L. Gianetto and M. T. Mainini, “Functional Diversity”, in Software Fault Tolerance - Achievements and Assessment Strategies (M. Kersken and F. Saglietti, Eds.), pp. 49-113, Springer-Verlag, Berlin, 1992.
    • [Chen & Avizienis 1977] L. Chen and A. Avizienis, “On the Implementation of N-Version Programming for Software Fault Tolerance during Program Execution”, in 1st International Computer Software and Applications Conference, COMPSAC 77, (New York), pp. 149-55, 1977.
    • [Chillarege 1996] R. Chillarege, “Orthogonal Defect Classification”, in Handbook of Software Reliability Engineering (M. R. Lyu, Ed.), Computing, pp. 359-400, McGraw-Hill and IEEE Computer Society Press, 1996.
    • [Di Giandomenico & Strigini 1990] F. Di Giandomenico and L. Strigini, “Adjudicators for Diverse-Redundant Components”, in 9th Symposium on Reliable Distributed Systems (SRDS9), (Huntsville, Alabama), pp. 114-23, IEEE, 1990.
    • [Hughes 1987] R. P. Hughes, “A New Approach to Common Cause Failure”, Reliability Engineering, 17, pp. 211-36, 1987.
    • [Kelly & Avizienis 1983] J. P. J. Kelly and A. Avizienis, “A Specification-Oriented MultiVersion Software Experiment”, in 13th International Symposium on Fault-Tolerant Computing, (Milano, Italy), pp. 120-6., 1983.
    • [Laprie et al. 1990] J. C. Laprie, J. Arlat, C. Beounes and K. Kanoun, “Definition and Analysis of Hardware-and-Software Fault-Tolerant Architectures”, IEEE Computer, 23 (7), pp. 39-51, 1990.
    • [Neumann 1995] P. G. Neumann, Computer related risks, Addison Wesley, 1995.
    • [Poledna 1994] S. Poledna, “Replica Determinism in Distributed Real-Time Systems: A Brief Survey”, Real-Time Systems Journal, 6, pp. 289-316, 1994.
    • [Reason 1990] J. Reason, Human Error, Cambridge University Press, 1990.
  • No related research data.
  • No similar publications.

Share - Bookmark

Download from

Cite this article