Accession Number:

ADA278004

Title:

Refinement for Fault-Tolerance: An Aircraft Hand-Off Protocol

Corporate Author:

CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE

Report Date:

1994-04-01

Abstract:

Part of the Advanced Automation System AAS for air-traffic control is a protocol to permit flight hand-off from one-air-traffic controller to another. The protocol must be fault-tolerant and, therefore, is subtle-an ideal candidate for the application of formal methods. This paper describes a formal method for deriving fault-tolerant protocols that is based on refinement and proof outlines. The AAS hand-off protocol was actually derived using this method that derivation is given.

Descriptive Note:

Technical rept.

Supplementary Note:

DOI: 10.21236/ADA278004

Pages:

0021

Communities Of Interest:

Distribution Statement:

Approved for public release; distribution is unlimited.

File Size:

1.01MB