On the Achievement of a Highly Dependable and Fault-Tolerant Air Traffic Control System
Computer - The FAA's Advanced Automation Program
Understanding fault-tolerant distributed systems
Communications of the ACM
Next generation air traffic control automation
IBM Systems Journal
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Fail-Awareness: An Approach to Construct Fail-Safe Systems
Real-Time Systems
The Timewheel Group Communication System
IEEE Transactions on Computers
On Group Communication Support in CORBA
IEEE Transactions on Parallel and Distributed Systems
A reactive system architecture for building fault-tolerant distributed applications
Journal of Systems and Software
Model based approach for autonomic availability management
ISAS'06 Proceedings of the Third international conference on Service Availability
Hi-index | 0.00 |
The distributed real-time system services developed by Lockheed Martin's Air Traffic Management group serve the infrastructure for a number of air traffic control systems. Either completed development or under development are the US Federal Aviation Administration's Display System Replacement (DSR) system, the UK Civil Aviation Authority's New Enroute Center (NERC) system, and the Republic of China's Air Traffic Control Automated System (ATCAS). These systems are intended to replace present en route systems over the next decade. High availability of air traffic control services is an essential requirement of these systems. This article discusses the general approach to fault-tolerance adopted in this infrastructure, by reviewing some of the questions which were asked during the system design, various alternative solutions considered, and the reasons for the design choices made. The aspects of this infrastructure chosen for the individual ATC systems mentioned above, along with the status of those systems, are presented in the Section 11 of the article.