Title :
Track assignment in an air traffic control system: a rational reconstruction of system design
Author :
Smith, Douglas R.
Author_Institution :
Kestrel Inst., Palo Alto, CA, USA
Abstract :
The author summarizes the application of the KIDS system (knowledge-based) (D.R. Smith, 1990) to a large-scale problem drawn from the domain of air traffic control. Hughes Aircraft supplied a natural language specification of the track assignment portion of an air traffic control system. This specification was formalized as a domain theory, and programs were derived within this theory. This derived code is compared with hand-generated Ada code developed manually by Hughes personnel
Keywords :
air traffic computer control; formal specification; knowledge based systems; Ada code; KIDS system; air traffic control; domain theory; large-scale problem; natural language specification; system design; track assignment portion; Aerospace control; Air traffic control; Aircraft; Algorithm design and analysis; Application software; Computer science; Control systems; Inference algorithms; Natural languages; Software testing;
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1992., Proceedings of the Seventh
Conference_Location :
Mclean, VA
Print_ISBN :
0-8186-2880-4
DOI :
10.1109/KBSE.1992.252908
