Accession Number : ADA303065
Title : Generic Tools for Transportation Planning and Scheduling.
Descriptive Note : Final technical rept. Mar 91-Sep 94,
Corporate Author : KESTREL INST PALO ALTO CA
Personal Author(s) : Smith, Douglas R. ; Parra, Eduardo A. ; Westfold, Stephen J.
PDF Url : ADA303065
Report Date : AUG 1995
Pagination or Media Count : 111
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.
Descriptors : *COMPUTER PROGRAMS, *SCHEDULING, *COMPUTER APPLICATIONS, *MILITARY PLANNING, *MILITARY TRANSPORTATION, ALGORITHMS, REQUIREMENTS, METHODOLOGY, DEPLOYMENT, MILITARY STRATEGY, EXPERIMENTAL DATA, OPTIMIZATION, SPECIFICATIONS, SYNTHESIS, TOOLS, PERFORMANCE(ENGINEERING), ACCURACY, EFFICIENCY, ESTIMATES, CODING, FEASIBILITY STUDIES, PLANNING, RESEARCH MANAGEMENT, TRANSFORMATIONS.
Subject Categories : Computer Programming and Software
Logistics, Military Facilities and Supplies
Distribution Statement : APPROVED FOR PUBLIC RELEASE