skip to main content
article
Free Access

Fault-Tolerant Software for Real-Time Applications

Published:01 December 1976Publication History
First page image

References

  1. 1 PIERCE, W. H. Failure-tolerant computer design, Academic Press, New York, 1965.Google ScholarGoogle Scholar
  2. 2 AVIZIENIS, ALGIRDAS "Methodology of fault-tolerant computing," in Collected papers on fault-tolerant spacecraft computer technology, H. Hecht, (Ed.), SAMSO-TR- 72-113, U. S. Air Force, Los Angeles, Calif., 1972.Google ScholarGoogle Scholar
  3. 3 NEUMANN, P. G., et al., A studyof fault. tolerant computing, SRI Project 1693, Stanford Research Inst., Menlo Park, Calif., 1973.Google ScholarGoogle Scholar
  4. 4 Digest of papers, FTC-5, 1975 Internatl. Symposium on Fault- Tolerant Computing, IEEE Catalog No. 75CH0974-6C, IEEE, New York. Also see digests of previous symposia begining in 1971.Google ScholarGoogle Scholar
  5. 5 "Equation error cited in Mariner 1 failure" Aviation Week, (August 1962), 29.Google ScholarGoogle Scholar
  6. 6 Information processing/data automation implications of air force command and control requirements in the 1980s, CCIP-85, Vol. I, U.S. Air Force Space and Missiles Systems Organization, Los Angeles, Calif. 1972, p. 5.Google ScholarGoogle Scholar
  7. 7 AVIZIENIS, AL(HRDAS "Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing," in Proc. 1975 Internatl. Conf on Reliable Software, ACM, New York, 1975, p. 459. Google ScholarGoogle Scholar
  8. 8 BURCHBV, D. D.; KERN, L. W.; AND STURM, W.A. "Specification of the fault-tolerant spaceborne computer (FTSC)," in Digest of Papers, 1976 Internatl. Symposium on Fault- Tolerant Computing, IEEE, New York, 1976, p. 129.Google ScholarGoogle Scholar
  9. 9 DSANGELm, D.; AND LAURO, J. "Software recovery in the FTSC," in Digest of Papers, 1976 Internatl. Symposium on Fault- Tolerant Computing, IEEE, NewYork, 1976, p. 143.Google ScholarGoogle Scholar
  10. 10 SPENCER, A. E.; AND VIGILANTE, F. S. "No. 2 ESS system organization and objectives," Bell Syst. Tech. J. (Oct. 1969) p. 2607. Also see other articles on No. 2 ESS in the same issue of Bell. Syst. Tech. J.Google ScholarGoogle Scholar
  11. 11 Structured programming series, RADC-TR- 74-300, 15 Vols. Series Ed., IBM Federal Systems Center, Gaithersburg, Md. USAF, Rome Air Development Center, Rome, New York, 1975.Google ScholarGoogle Scholar
  12. 12 REIFER, D.J. "Automated aids for reliable software," in Proc. 1975 Internatl. Conf. on Reliable Software, ACM, New York, 1975, p. 131. Google ScholarGoogle Scholar
  13. 13 LONDON, R. L. "A view of program verification," in Proc. 1975 Internatl. Conf. on Reliable Software, ACM, New York, 1975, p. 534. Google ScholarGoogle Scholar
  14. 14 D~JKSTRA, E. W. "Notes on structured /~rogramming," in Structured programming, cademic Press, New York, 1972.Google ScholarGoogle Scholar
  15. 15 K~:n~ST~:AD, R. E. On the feasibility of software certification, SRI Project 2385, Stanford Research Inst., Menlo Park, Calif., 1975.Google ScholarGoogle Scholar
  16. 16 THAYER, R. H.; AND }=h~ToN, E.S. "Software reliability--A method that works," in Proc. 1975 AFIPS National Computer Conf. 1975, Vol. 44, AFIPS Press, Montvale, N.J. 1975, p. 877.Google ScholarGoogle Scholar
  17. 17 RANDELL, B. "System structure for software fault-tolerance," in Proc. 1975 internatl. Conf. on Reliable Software, ACM, New York, 1975, p. 437. Google ScholarGoogle ScholarCross RefCross Ref
  18. 18 ORNSTEIN, S. M. et al. "Pluribus--A reliable multiprocessor," in Proc. 1975 AFIPS National Computer Conf., Vol. 44, AFIPS Press, Montvale, N.J., 1975, p. 551.Google ScholarGoogle Scholar
  19. 19 YAu, S. S.; AND CHEUNG, R. C. "Design of self-checking software," in Proc. 1975 Internatl. Conf. on Reliable Software, ACM, New York, 1975, p. 450. Google ScholarGoogle Scholar
  20. 20 ERILANE, R. V. Program 62~A flight plan VII guidance equations, TOR-469(5116-44)- 14, Aerospace Corp., El Segundo, Calif., May 1966.Google ScholarGoogle Scholar
  21. 21 STUCKI, L. G.; AND FOSHEE, G. L. "New assertion concepts for self-metric 8oftware validation," in Proc. 1975 Internatl. Conf. on Relzable Software, IEEE Cat. No. 75CH0940-7CSR, ACM, New York, 1975, pp. 59-71. Google ScholarGoogle Scholar

Index Terms

  1. Fault-Tolerant Software for Real-Time Applications

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Published in

      cover image ACM Computing Surveys
      ACM Computing Surveys  Volume 8, Issue 4
      Dec. 1976
      88 pages
      ISSN:0360-0300
      EISSN:1557-7341
      DOI:10.1145/356678
      Issue’s Table of Contents

      Copyright © 1976 ACM

      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 1 December 1976
      Published in csur Volume 8, Issue 4

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • article

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader