Building dependable software for critical applications: Multi-version software versus one good version

Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

Volumn , Issue , 2001, Pages 103-110

  Townend, P ^a   Xu, J ^a   Munro, M ^a  

^a DURHAM UNIVERSITY   (United Kingdom)

Author keywords

Critical software and systems; Fault tolerance; Industrial embedded systems; Multi version software; Reliability and safety

Indexed keywords

AVAILABILITY; COMPUTER SIMULATION; EMBEDDED SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; REAL TIME SYSTEMS; RELIABILITY;

CRITICAL SOFTWARE AND SYSTEMS; MULTIVERSION PROGRAMMING; MULTIVERSION SOFTWARE; SAFETY CRITICAL SYSTEM;

SOFTWARE ENGINEERING;

EID: 0034831401     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2001.945120     Document Type: Conference Paper

References (25)

1. On the implementation of N-version programming for software fault-tolerance during execution
2. Fault tolerance by design diversity - Concepts and experiments
3. On the effectiveness of multi-version software in digital avionics
4. In search of effective diversity: A six-language study of fault-tolerant flight control software
5. Software fault tolerance
6. A theoretical basis for the analysis of multi-version software subject to coincident errors
7. An experimental evaluation of software redundancy as a strategy for improving reliability
8. N-version design versus one good version
9. A large scale second generation experiment in multi-version software: Description and early results
10. Implementing design diversity to achieve fault tolerance
11. An experimental evaluation of the assumption of independent in multi-version programming
12. A reply to the criticisms of the Knight and Leveson experiment
13. Design fault tolerance
14. Computer-related incidents with commercial aircraft
15. Dependentability - Its attributes impairments and means
16. Task description of a flexible production cell with real time properties
17. Development and flight test experiences with a flight-crucial digital control system
18. Fault-tolerant software reliability engineering
19. N-version design versus one good version: What does the evidence show
20. The evolution of the recovery block concept
21. Experimental validation of six fault-tolerant software reliability models
22. Building dependable software for critical applications: N-version software versus one good version