Fault-Tolerant Software for Real-Time Applications

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Fault-Tolerant Software for Real-Time Applications

Full text

Pdf (1.43 MB)

Source

ACM Computing Surveys (CSUR) archive
Volume 8 , Issue 4 (December 1976) table of contents

Pages: 391 - 407

Year of Publication: 1976

ISSN:0360-0300

Author

H. Hecht

The Aerospace Corporation, El Segundo, California

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 18, Downloads (12 Months): 68, Citation Count: 12

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/356678.356681 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	PIERCE, W. H. Failure-tolerant computer design, Academic Press, New York, 1965.
	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.
	3	NEUMANN, P. G., et al., A studyof fault. tolerant computing, SRI Project 1693, Stanford Research Inst., Menlo Park, Calif., 1973.
	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.
	5	"Equation error cited in Mariner 1 failure" Aviation Week, (August 1962), 29.
	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.
	7	Algirdas Avižienis, Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing, Proceedings of the international conference on Reliable software, p.458-464, April 21-23, 1975, Los Angeles, California
	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.
	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.
	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.
	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.
	12	Donald J. Reifer, Automated aids fob reliable software, Proceedings of the international conference on Reliable software, p.131-142, April 21-23, 1975, Los Angeles, California
	13	Ralph L. London, A view of program verification, Proceedings of the international conference on Reliable software, p.534-545, April 21-23, 1975, Los Angeles, California
	14	D~JKSTRA, E. W. "Notes on structured /~rogramming," in Structured programming, cademic Press, New York, 1972.
	15	K~:n~ST~:AD, R. E. On the feasibility of software certification, SRI Project 2385, Stanford Research Inst., Menlo Park, Calif., 1975.
	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.
	17	B. Randell, System structure for software fault tolerance, Proceedings of the international conference on Reliable software, p.437-449, April 21-23, 1975, Los Angeles, California
	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.
	19	S. S. Yau , R. C. Cheung, Design of self-checking software, Proceedings of the international conference on Reliable software, p.450-455, April 21-23, 1975, Los Angeles, California
	20	ERILANE, R. V. Program 62~A flight plan VII guidance equations, TOR-469(5116-44)- 14, Aerospace Corp., El Segundo, Calif., May 1966.
	21	Leon G. Stucki , Gary L. Foshee, New assertion concepts for self-metric software validation, Proceedings of the international conference on Reliable software, p.59-71, April 21-23, 1975, Los Angeles, California

CITED BY 12

	K. H. Kim , Mahmoud Naghibzadeh, Prevention of task overruns in real-time non-preemptive multiprogramming systems, ACM SIGMETRICS Performance Evaluation Review, v.9 n.2, p.267-276, Summer 1980
	Joseph S. Griffin , John Craig Comfort, The simulation of a fault tolerant computer system, Proceedings of the 18th annual symposium on Simulation, p.171-187, March 1985, Tampa, Florida, United States
	Russell J. Abbott, Resourceful systems for fault tolerance, reliability, and safety, ACM Computing Surveys (CSUR), v.22 n.1, p.35-68, March 1990
	Y. Ting , F. M. Shan , W. B. Lu , C. H. Chen, Implementation and evaluation of failsafe computer-controlled systems, Computers and Industrial Engineering, v.42 n.2-4, p.401-415, June 2002
	K. H. Kim, Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation, IEEE Transactions on Software Engineering, v.14 n.6, p.810-821, June 1988
	K. H. Kim , Howard O. Welch, Distributed Execution of Recovery Blocks: An Approach for Uniform Treatment of Hardware and Software Faults in Real-Time Applications, IEEE Transactions on Computers, v.38 n.5, p.626-636, May 1989
	Jami Montgomery, A Model for Updating Real-Time Applications, Real-Time Systems, v.27 n.2, p.169-189, July 2004
	Houssine Chetto , Maryline Chetto, Some Results of the Earliest Deadline Scheduling Algorithm, IEEE Transactions on Software Engineering, v.15 n.10, p.1261-1269, October 1989
	John P. J. Kelly , Thomas I. McVittie , Wayne I. Yamamoto, Implementing Design Diversity to Achieve Fault Tolerance, IEEE Software, v.8 n.4, p.61-71, July 1991
	Dave E. Eckhardt , Alper K. Caglayan , John C. Knight , Larry D. Lee , David F. McAllister , Mladen A. Vouk , John J. P. Kelly, An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability, IEEE Transactions on Software Engineering, v.17 n.7, p.692-702, July 1991
	Stepehn S. Yau , Wonmo Hong, Verification of Concurrent Control Flow in Distributed Computer Systems, IEEE Transactions on Software Engineering, v.14 n.4, p.405-417, April 1988
	K. H. Kim , S. M. Yang, Performance Impacts of Look-Ahead Execution in the Conversation Scheme, IEEE Transactions on Computers, v.38 n.8, p.1188-1202, August 1989