Application of Software Fault Tolerance to Air Traffic Control: Study Contract Overview

摘要

An overview of a study carried out by the Royal Military College of Science (RMCS) and its subcontractor, the Microelectronics Application Research Institute (MARI), is given. In the study, a requirements analysis of the London Air Traffic Control Center (LATCC) was developed, using the CORE method with automated support. This analysis was used as the basis for a detailed design of the LATCC Radar Data Processing subsystem. This design was converted into one with the software fault tolerant features of Recovery Blocks in a MASCOT-like environment. Great Britain. (rh)