John C. Knight, Nancy G. Leveson  Home/Search
Context Related
| safewareeng.com/leveson...nvertse.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: mit.edu/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: N-version programming has been proposed as a method of incorporating fault tolerance into software. Multiple versions of a program (i.e. "N") are prepared and executed in parallel. Their outputs are collected and examined by a voter,and, if theyare not identical, it is assumed that the majority is correct. This method depends for its reliability improvement on the assumption that programs that have been developed independently will fail independently.Inthis paper an experiment is described in... (Update)
Cited by: More
Separating Agreement from Execution for Byzantine.. - Yin, Martin.. (2003) (Correct)
Implementing Trustworthy Services Using Replicated State.. - Schneider, Zhou (2005) (Correct)
Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (Correct)
Active bibliography (related documents): More All
0.5: Binomial Models For Option Valuation - Examining And.. - Leisen, Reimer (1995) (Correct)
0.3: Diverse Neural Net Solutions to a Fault Diagnosis Problem - Sharkey Sharkey And (1996) (Correct)
0.3: Diversity, Neural Nets and Safety Critical Applications - Sharkey Sharkey And (Correct)
Similar documents based on text: More All
0.2: The Consistent Comparison Problem in N-Version Software - Brilliant, Knight, Leveson (1987) (Correct)
0.1: Distinct Failure Diversity in Multiversion Software - Partridge, Krzanowski (1997) (Correct)
0.1: Engineering Multiversion Neural-Net Systems - Partridge And (Correct)
Related documents from co-citation: More All
31: A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincid.. (context) - Eckhardt, Lee - 1985
23: System structure for software fault tolerance (context) - Randell - 1975
21: An experimental evaluation of software redundancy as a strategy for improving re.. (context) - Eckhardt, Caglayan et al. - 1991
BibTeX entry: (Update)
John C. Knight and Nancy G. Leveson, "An experimental evaluation of the assumptions of independence in multiversion programming", IEEETSE, vol. SE-12, pp. 96--109, Jan. 1986. http://citeseer.ist.psu.edu/knight86experimental.html More
@article{ knight86experimental,
author = "John C. Knight and Nancy G. Leveson",
title = "An Experimental Evaluation of the Assumption of Independence in Multiversion Programming",
journal = "Software Engineering",
volume = "12",
number = "1",
pages = "96-109",
year = "1986",
url = "citeseer.ist.psu.edu/knight86experimental.html" }
Citations (may not include all citations):47 Fault tolerance by design diversity: concepts and experiment.. (context) - Avizienis, Kelly - 1984
21 North-Holland (context) - Electrical, Components - 1982
20 Prentice Hall International (context) - Anderson, Lee et al. - 1981
13 Application of a methodology for the development and validat.. (context) - Ramamoorthy, Mok et al. - 1981 DBLP
12 Software Reliability: Repetitive Run Experimentation and Mod.. (context) - Nagel, Skrivan - 1982
9 A specification-oriented multi-version software experiment (context) - Kelly, Avizienis - 1983
6 A t heoretical basis for the analysis of redundant software .. (context) - Eckhardt, Lee - 1985
5 Microcomputer reliability improvement using triple-modular r.. (context) - Wakerly - 1976
4 Dissimilar software in high integrity applications in flight.. (context) - Martin - 1983
2 On approximating the point binomial (context) - Raff - 1956
1 Specification of Fault-Tolerant Multi-Version Software: Expe.. (context) - Kelly - 1982
1 and A. Avizienis, "N-version programming: Afault-tolerance a.. (context) - Chen - 1978
1 Analysis of faults in a multi-version software experiment (context) - Brilliant - 1985
1 Testing version independence in multi-version programming (context) - St - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sunnyday.mit.edu/papers.html): More
Integrated Safety Analysis of Requirements Specifications - Modugno, Leveson.. (1997) (Correct)
SpecTRM: A CAD System for Digital Automation - Nancy Leveson Mit (1998) (Correct)
Requirements Specification for Process-Control Systems - Leveson, Heimdahl, al. (1984) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC