DocumentCode :
2241845
Title :
Transformational approach to transportation scheduling
Author :
Smith, Douglas R. ; Parra, Eduardo A.
Author_Institution :
Kestral Inst., Palo Alto, CA, USA
fYear :
1993
fDate :
20-23 Sep 1993
Firstpage :
60
Lastpage :
68
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1993. Proceedings., Eighth
Conference_Location :
Chicago, IL
ISSN :
1068-3062
Print_ISBN :
0-8186-4100-2
Type :
conf
DOI :
10.1109/KBSE.1993.341197
Filename :
341197
Link To Document :
بازگشت