The use of Ada to achieve fault tolerance in AAS

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The use of Ada to achieve fault tolerance in AAS

Full text

Pdf (845 KB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '92 table of contents

Orlando, Florida, United States

Pages: 545 - 552

Year of Publication: 1992

ISBN:0-89791-529-1

Authors

R. Stuart Cramer
Jonathan D. Dehn

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 4, Citation Count: 1

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/143557.144018 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	R.A. Benel, R.D. Dancey, J.D. Dehn, J.C. Gutmann, and D.M. Smith, "Advanced Automation System Design", in Proceedings of the IEEE, Vol. 77, No. 11, pp. 1653-1660, Nov. 1989.
	2	Algirdas Auižienis , Danforth E. Ball, On the achievement of a highly dependable and fault-tolerant air traffic control system, Computer, v.20 n.2, p.84-90, Feb. 1987 [doi>10.1109/MC.1987.1663482]
	3	F. Cristian, R.D. Dancey and J.D. Dehn, "Fault Tolerance in the Advanced Automation System", in 20th International Conference on Fault-tolerant Computing, June 1990.
	4	Flavin Cristian, Understanding fault-tolerant distributed systems, Communications of the ACM, v.34 n.2, p.56-78, Feb. 1991 [doi>10.1145/102792.102801]
	5	F. Cristian, Exception Handling, in "Dependability of Resilient Computers", T. Anderson Ed., BSP Professional Books, Blackwell Scientific Publications, 1989.
	6	C. Howell , D. Mularz, Exception handling in large Ada systems, Proceedings of the eighth annual Washington Ada symposium & summer SIGAda meeting on Ada: software: foundation for competitveness, p.90-101, June 17-21, 1991, McLean, Virginia, United States [doi>10.1145/134494.134503]
	7	Andrew S. Tanenbaum, Structured computer organization (3rd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	8	IEEE Standard for Binary Floating Point Arithmetic, ANSI/IEEE Std 754-1985, IEEE, Inc., New York, August 1985
	9	V. Basili, etal., "Use of Ada for FAA's Advanced Automation System (AAS)", MITRE Corporation Technical Report MTR-87W77, April 1987.
	10	"Reference Manual for the Ada Programming Language", ANSi/MIL-STD--1815A- 1983, United States Department of Defense.