Title :
Transformational approach to transportation scheduling
Author :
Smith, Douglas R. ; Parra, Eduardo A.
Author_Institution :
Kestral Inst., Palo Alto, CA, USA
Abstract :
The authors have used KIDS (Kestrel Interactive Development System) to derive extremely fast and accurate transportation schedulers from formal specifications. As test data, strategic transportation plans which are generated by US government planners are used. In one such problem, the derived scheduler was able to schedule 15,460 individual movement requirements in 71 cpu seconds. The computed schedules use relatively few resources and satisfy all specified constraints. The speed of this scheduler derives from the synthesis of strong problem-specific constraint checking and constraint propagation code
Keywords :
development systems; government data processing; interactive systems; scheduling; software tools; transport control; transportation; KIDS; Kestrel Interactive Development System; US government planners; constraint propagation code; formal specifications; problem-specific constraint checking; strategic transportation plans; test data; transportation scheduling; Artificial intelligence; Constraint theory; Data structures; Operations research; Processor scheduling; Relational databases; Storms; Testing; Transportation; US Government;
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1993. Proceedings., Eighth
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-4100-2
DOI :
10.1109/KBSE.1993.341197