Formalization and Analysis of the Separation Minima for the North Atlantic Region: Complete Specification and Analysis Results

ID
TR-97-12
Authors
Nancy A. Day, Jeffrey J. Joyce and Gerry Pelletier
Publishing date
October 30, 1997
Length
74 pages
Abstract
This report describes work to formalize and validate a specification of the separation minima for aircraft in the North Atlantic (NAT) region completed by researchers at the University of British Columbia in collaboration with Hughes International Airspace Management Systems. Our formal representation of these separation minima is given in a mixture of a tabular style of specification and textual predicate logic. We analyzed the tables for completeness, consistency and symmetry. This report includes the full specification and complete analysis results.