- 1 PIERCE, W. H. Failure-tolerant computer design, Academic Press, New York, 1965.Google Scholar
- 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 Scholar
- 3 NEUMANN, P. G., et al., A studyof fault. tolerant computing, SRI Project 1693, Stanford Research Inst., Menlo Park, Calif., 1973.Google Scholar
- 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 Scholar
- 5 "Equation error cited in Mariner 1 failure" Aviation Week, (August 1962), 29.Google Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 12 REIFER, D.J. "Automated aids for reliable software," in Proc. 1975 Internatl. Conf. on Reliable Software, ACM, New York, 1975, p. 131. Google Scholar
- 13 LONDON, R. L. "A view of program verification," in Proc. 1975 Internatl. Conf. on Reliable Software, ACM, New York, 1975, p. 534. Google Scholar
- 14 D~JKSTRA, E. W. "Notes on structured /~rogramming," in Structured programming, cademic Press, New York, 1972.Google Scholar
- 15 K~:n~ST~:AD, R. E. On the feasibility of software certification, SRI Project 2385, Stanford Research Inst., Menlo Park, Calif., 1975.Google Scholar
- 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 Scholar
- 17 RANDELL, B. "System structure for software fault-tolerance," in Proc. 1975 internatl. Conf. on Reliable Software, ACM, New York, 1975, p. 437. Google ScholarCross Ref
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
Index Terms
Fault-Tolerant Software for Real-Time Applications
Recommendations
MEAD: support for Real-Time Fault-Tolerant CORBA: Research Articles
Foundations of Middleware TechnologiesThe OMG's Real-Time CORBA (RT-CORBA) and Fault-Tolerant CORBA (FT-CORBA) specifications make it possible for today's CORBA implementations to exhibit either real-time or fault tolerance in isolation. While real-time requires a priori knowledge of the ...
Are COTS Suitable for Building Distributed Fault-Tolerant Hard Real-Time Systems?
IPDPS '00: Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed ProcessingFor economic reasons, a new trend in the dev elopment of distributed hard real-time systems is to rely on the use of Commercial-Off-The-Shelf (cots) hardware and operating systems. As such systems often support critical applications, they must comply ...
Comments