Generic Tools for Transportation Planning and Scheduling.
Final technical rept. Mar 91-Sep 94,
KESTREL INST PALO ALTO CA
Pagination or Media Count:
This report describes our research on transportation planning and scheduling supported by the ARPARome Lab Planning Initiative ARPI. The main goal of this project was to develop generic tools to support the construction of flexible, high-performance planning and scheduling software. Our technical approach is based on program transformation technology that allow the systematic machine-supported development of software from requirement specifications. The development process can produce highly efficient code along with a proof of the code1s correctness. We have used KIDS Kestrel Interactive Development System to derive extremely fast and accurate transportation schedulers from formal specifications. As test data, we use strategic transportation plans that are generated by US government planners. A typical problem with 1O,OOO movement requirements takes the derived scheduler 1-3 minutes to solve compared with 2.5 hours for a deployed feasibility estimator JFAST and 36 hours fbr deployed schedulers FLOGEN, ADANS. The computed schedules use relatively few resources and satisfy all specified constraints. The speed of this scheduler is due to the synthesis of strong constraint checking and constraint propagation code.
- *COMPUTER PROGRAMS
- *COMPUTER APPLICATIONS
- *MILITARY PLANNING
- *MILITARY TRANSPORTATION
- MILITARY STRATEGY
- EXPERIMENTAL DATA
- FEASIBILITY STUDIES
- RESEARCH MANAGEMENT
- Computer Programming and Software
- Logistics, Military Facilities and Supplies