DocumentCode
3407694
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
fYear
1992
fDate
20-23 Sep 1992
Firstpage
60
Lastpage
68
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Knowledge-Based Software Engineering Conference, 1992., Proceedings of the Seventh
Conference_Location
Mclean, VA
ISSN
1068-3062
Print_ISBN
0-8186-2880-4
Type
conf
DOI
10.1109/KBSE.1992.252908
Filename
252908
Link To Document