Fault-Tolerance in Air Traffic Control Systems

ACM Transactions on Computer Systems

Volumn 14, Issue 3, 1996, Pages 265-286

  Cristian, Flaviu ^a,d   Dancey, Bob ^b   Dehn, Jon ^c  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^c LOCKHEED MARTIN   (United States)

^d UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

C.4 Computer Systems Organization : Performance of Systems reliability, availability, and serviceability; D.2.5 Software Engineering : Testing and Debugging error handling and recovery; D.4.5 Operating Systems : Reliability fault tolerance

Indexed keywords

ERROR HANDLING AND RECOVERY; REAL-TIME AND EMBEDDED SYSTEMS;

COMPUTER SOFTWARE; DESIGN; FAULT TOLERANT COMPUTER SYSTEMS; RELIABILITY;

AIR TRAFFIC CONTROL;

EID: 0030214489     PISSN: 07342071     EISSN: None     Source Type: Journal    
DOI: 10.1145/233557.233559     Document Type: Article

References (11)

1. AVIZIENIS, A. AND BALL, D. 1987. On the achievement of a highly dependable and fault-tolerant air traffic control system. IEEE Comput. 20, 2 (Feb.).
2. CRISTIAN, F. 1985. A rigorous approach to fault-tolerant programming. IEEE Trans. Softw. Eng. SE-11, (Jan.).
3. CRISTIAN, F. 1988. Reaching agreement on processor group membership in synchronous distributed systems. Distrib. Comput. 4, 4.
4. CRISTIAN, F. 1989a. Atomic broadcast for redundant broadcast channels. J. Real-Time Syst. 2, 195-212.
5. CRISTIAN, F. 1989b. Probabilistic clock synchronization. Distrib. Comput. 3, 3, 146-158.
6. CRISTIAN, F. 1989c. Exception handling. In Dependability of Resilient Computer, T. Anderson, Ed. Blackwell Scientific, Oxford, U.K.
7. CRISTIAN, F. 1990. Synchronous atomic broadcast for redundant broadcast channels. J. Real-Time Syst. 2, 195-212.
8. CRISTIAN, F. 1991. Understanding fault-tolerant distributed systems. Commun. ACM 34, 2 (Feb.).
9. DEBELACK, A. S., DEHN, J. D., MUCHINSKY, L. L., AND SMITH, D. M. 1995. Next generation air traffic control automation. IBM Syst. J. 24, 1, 63-77.
10. GRAY, J. 1986. Why do computers stop and what can be done about it? In the 5th Symposium on Reliability in Distributed Software and Database Systems.
11. TAYLOR, D. AND WILSON, G. 1989. The Stratus system architecture. In Dependability of Resilient Computer, T. Anderson, Ed. Blackwell Scientific Publications, Oxford, U.K.