Generic Tools for Transportation Planning and Scheduling.
Abstract
This report describes our research on transportation planning and scheduling supported by the ARPA/Rome 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1995
- Accession Number
- ADA303065
Entities
People
- Douglas R. Smith
- Eduardo A. Parra
- Stephen J. Westfold
Organizations
- Kestrel Institute