Fault-Tolerant Software

IEEE Transactions on Reliability

Volumn R-28, Issue 3, 1979, Pages 227-232

  Hecht, Herbert ^a  

^a SoHaR Incorporated   (United States)

Author keywords

Redundant software; Software Software reliability; System reliability

Indexed keywords

COMPUTER SYSTEMS, DIGITAL - FAULT TOLERANT CAPABILITY;

COMPUTER PROGRAMMING;

EID: 0018506972     PISSN: 00189529     EISSN: 15581721     Source Type: Journal    
DOI: 10.1109/TR.1979.5220573     Document Type: Article

References (24)

1. Proc. IEEE, Special Issue on Fault-Tolerant Digital Systems, vol 66, 1978 Oct.
2. W.E. Howden, “Theoretical and empirical studies of software testing”, IEEE Trans. Software Engineering, vol SE4, 1978 Jul, pp 293–297.
3. S.L. Gerhart, L. Yelowitz, “Observations on the fallibility in applications of modern programming methodologies”, IEEE 7rans. Software Engineering, vol SE-2, 1976 Sep, pp 195–207.
4. C. Reynolds, R.T. Yeh, “Induction as the basis for program verification”, IEEE Trans. Software Engineering, vol SE-2, 1976 Dec, pp 244–252.
5. S.L. Gerhart, “Program verification in the 1980s: Problems, perspectives, and opportunities”, ISI/RR-78-71, Information Scienees Institute, Marina del Rey, Calif, 1978 August.
6. L.A. Belady, lady, M.M. Lehman, “A model of large program development”, ment”, IBMSystems Journal, vol 15, no. 3, 1976, pp 225–252.
7. W.N. Toy, “Fault tolerant design of local ESS processors”, in [1], pp 1126–1145.
8. A.L. Hopkins, et al., “FTMP - A highly reliable fault-tolerant multiprocessor for aircraft”, in [1], design pp 1221–1239.
9. J.H. Wensley, et al., “SIFT: The design and analysis of a fault-tolerant tolerant computer for aircraft control”, in [1], pp 1240–1254.
10. K.H. Kim, et al., “Strategies for structured and fault-tolerant design of recovery programs”, Proc. COMPSAC ‘78, 1978 Nov, pp 651–656.
11. W.R. Elmendorf, “Fault-tolerant programming”, Digest of the 1972 International Symposium on Fault-Tolerant Computing, pp 79–883.
12. A. Avizienis, L. Chen, “On the implementation of N-version programming for software fault-tolerance during execution”, Proc. COMPSAC ‘77, 1977 Nov, pp 149–155.
13. L. Chen, A. Avizienis, “N-Version programming: A fault-tolerance approach to reliability of software operation”, Digest of Papers, FTC 8, 1978 Jun, pp 3–9.
14. J.J. Horning, et al., “A program structure for error detection and recovery”, Proc. Conf. Operating Systems: Theoretical and Practical Aspects, IRIA, 1974 Apr, pp 174–193.
15. B. Randell, “System Engineering, structure software fault-tolerance”, IEEE Trans. Software for vol SE-1, 1975 Jun, pp 220–232.
16. H. Hecht, “Fault-tolerant software for real-time applications”, ACM Computing Surveys, vol 8, 1976 Dec, pp 391–407.
17. Advanced Programs Division, The Aerospace Corporation, “Fault-tolerant software study”, NASA CR 145298, 1978 Feb.
18. J.S.M. Verhofstad, “The construction of recoverable multi-level systems”, PhD Dissertation, University of Newcastle upon Tyne, 1977 Aug.
19. K.H. Kim, C.V. Ramamoorthy, “Failure-tolerant parallel programming and its supporting system architectures”, AFIPS Conf. Proc., vol 45 (NCC 1976) pp 413–423.
20. L.G. Stucki, G.L. Foshee, “New assertion concepts for self-metric metric software validation”, Proc. 1975 International Conf. Reliable Software, IEEE Cat. 75CH0940-7CSR, 1975 Apr, pp 59–71.
21. S.S. Yau, R.C. Cheung, “Design of self-checking software”, same source as [20], pp 450–457.
22. S.S. Yau, R.C. Cheung, D.C. Cochrane, “An approach to error-resistant resistant software design”, Proc. Second International Conf Software Engineering, IEEE Cat. 76CH1125-4C, 1976 Oct, pp 429–436.
23. J.D. Musa, “Measuring software reliability”, ORSA/TIMS Journal, 1977 May, pp 1–25.
24. H. Hecht, et al., “Reliability measurement during software development”, NASA CR-145205, 1977 Sep.