New York TRACON Demonstration of Program Recoding Software Translation and Verification Methodology Document

摘要

This document is the concluding report in a project whose objective was to convert in a reasonably short period of time, machine dependent software to a higher order language capable of running on any general purpose computer. A subset of the New York (N.Y.) TRACON (version A5.04) software was chosen for conversion, specifically, the tracking algorithms. The effort concluded with a demonstration of the converted software running on an IBM 3080 processor and was presented on a Sony display. The present UNIVAC ULTRA programs were converted to ADA/PDL and the system implemented in PASCAL. Over 53,000 lines of ULTRA source code were converted to 47,000 lines of ADA/PDL (including commentary) and then to 32,000 lines of PASCAL (without commentary).