An Experimental Evaluation Of The Assumption Of Independence In Multi-Version Programming * (1986)

Cached

Download Links

by John C. Knight , Nancy G. Leveson
Venue:IEEE Transactions on Software Engineering
Citations:253 - 10 self

Active Bibliography

3 An Experimental Evaluation of the Assumption – John C. Knight, Nancyg. Lev Eson
40 Dependable computing: From concepts to design diversity – Jean-claude Laprie - 1986
Review of Software Design Diversity – P.G. Bishop
9.3 PITFALLS IN THE DESIGN OF N-VERSION EXPERIMENTS...... 220 – unknown authors
AREPLYTOTHE CRITICISMS OF THE KNIGHT & LEVESON EXPERIMENT – John C. Knight
Diversity, Neural Nets and Safety Critical Applications – Sharkey Sharkey And, A. J. C. Sharkey, N. E. Sharkey, O. C. Gopinath - 1995
18 Assuring Design Diversity in N-Version Software: A Design Paradigm for N-Version Programming – Michael R. Lyu, Algirdas Avizienis - 1991
60 Analysis of Faults in an N-Version Software Experiment – Susan S. Brilliant, John C. Knight, Nancy G - 1990
2 An Experimental Evaluation of Methodological Diversity in Multiversion Software Reliability – Derek Partridge, Niall Griffith, Dan Tallis, Phillis Jones - 1996
Software Reliability Measurements in N-Version Software Execution Environment – Michael Lyu Bellcore, Michael R. Lyu - 1992
Diverse Neural Net Solutions to a Fault Diagnosis Problem – Sharkey Sharkey And, A. J. C. Sharkey, N. E. Sharkey, O. C. Gopinath - 1996
40 Improving the N-Version Programming Process Through the Evolution of a Design Paradigm – Michael R. Lyu, Yu-Tao He - 1993
4 Experience in Metrics and Measurements for N-Version Programming – Michael R. Lyu , et al. - 1994
3.2 APPROACHES TO SOFTWARE-FAULT TOLERANCE........... 49 3.3 ANALYSIS OF SOFTWARE FAULT TOLERANCE............. 51 3.4 DEFINITION AND ANALYSIS OF HARDWARE-AND-SOFTWARE – unknown authors
Reliability Modelling and Analysis of Real-Time Systems – Colin Stanley Perkins
Software Reliability Modelling: Some Achievements and Limitations – B Littlewood
2 Checking and Certifying Computational Results – Jonathan D. Bright - 1994
6 System and Software Safety in Critical Systems – Ulla Isaksen, Jonathan P. Bowen, Nimal Nissanke - 1996
15 Estimation and Enhancement of Real-Time Software Reliability through Mutation Analysis – Robert M. Geist, A. Jefferson Offutt, Frederick C. Harris, Jr. - 1992