AREPLYTOTHE CRITICISMS OF THE KNIGHT & LEVESON EXPERIMENT

AREPLYTOTHE CRITICISMS OF THE KNIGHT & LEVESON EXPERIMENT

Cached

Download Links

[ocw.mit.edu]

by John C. Knight

BibTeX

@MISC{Knight_areplytothecriticisms,
    author = {John C. Knight},
    title = {AREPLYTOTHE CRITICISMS OF THE KNIGHT & LEVESON EXPERIMENT},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

215	The N-Version Approach to Fault-Tolerant Software - Avizienis - 1985
130	On the implementation of nversion programming for software fault tolerance during execution - Avizienis, Chen - 1977
73	A theoretical basis for the analysis of multiversion software subject to coincident errors - Eckhardt, Lee - 1985
35	F.: Fault-Tolerant Software Reliability Modeling - Scott, Gault, et al. - 1987
23	An Empirical Comparison of Software Fault Tolerance and Fault Elimination - Shimeall, Leveson - 1988
22	Community Error Recovery in N-Version Software: A Design Study with Experimentation - Tso, Avizienis - 1987
17	Software reliability: repetitive run experimentation and modelling - Nagel, Skrivan - 1981
11	Dissimilar software in high integrity applications in flight controls - Martin - 1983
9	The UCLA Dedix System: A Distributed Testbed for Multiple-Version - Avizienis - 1985
7	Architectural Issues in Fault-Tolerant, Secure Computing Systems - Joseph - 1988
6	and Algirdas A. Aviˇzienis. A Specification-Oriented Multi-version Software Experiment - Kelly - 1983
5	Project on Diverse Software — An Experiment - Bishop - 1985
5	N-version programming: Afault-tolerance approach to reliability of software operation - Chen, Avizienis - 1978
4	A Large Scale Experiment - Knight, Leveson - 1985
4	Fault Effect Protection and Partitioning for Fly-by-Wire/Fly-by-Light Avionics Systems - Yount - 1985
2	In Search of Effective Div ersity: A Six-Language Study of Fault-Tolerant Control Software - Avizienis, Lyu, et al. - 1987
2	the New Generation Aircraft”, Aviation Week - “Airbus - 1987
2	An Experimental Evaluation of Software Redundancy asaStrategy for Improving Reliability - Eckhardt
2	Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal - Kelly, “Current - 1989
2	Empirical Studies of Multi-Version System - Margosis - 1988
2	FAA’s Certification Position on - Waterman - 1978