The N-Version Approach to Fault-Tolerant Software
- 1 December 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-11 (12), 1491-1501
- https://doi.org/10.1109/tse.1985.231893
Abstract
Evolution of the N-version software approach to the tolerance of design faults is reviewed. Principal requirements for the implementation of N-version software are summarized and the DEDIX distributed supervisor and testbed for the execution of N-version software is described. Goals of current research are presented and some potential benefits of the N-version approach are identified.Keywords
This publication has 19 references indexed in Scilit:
- Debugging Larch shared language specificationsIEEE Transactions on Software Engineering, 1990
- Distributed execution of recovery blocks: an approach for uniform treatment of hardware and software faults in real-time applicationsIEEE Transactions on Computers, 1989
- Applying Formal Specification to Software Development in IndustryIEEE Transactions on Software Engineering, 1985
- Testing Formal Specifications to Detect Design ErrorsIEEE Transactions on Software Engineering, 1985
- Dependability Evaluation of Software Systems in OperationIEEE Transactions on Software Engineering, 1984
- Can Design Faults be Tolerated?Published by Springer Nature ,1984
- Fault-Tolerant SoftwareIEEE Transactions on Reliability, 1979
- FTMP—A highly reliable fault-tolerant multiprocess for aircraftProceedings of the IEEE, 1978
- SIFT: Design and analysis of a fault-tolerant computer for aircraft controlProceedings of the IEEE, 1978
- Redundancy Management Technique for Space Shuttle ComputersIBM Journal of Research and Development, 1976