Generic Tools for Transportation Planning and Scheduling.

reportActive / Technical Report | Accession Number: ADA303065 | Open PDF

Abstract:

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.

Author(s):
Smith, Douglas R. ; Parra, Eduardo A. ; Westfold, Stephen J.
Author Organization(s):
KESTREL INST PALO ALTO CA
Descriptive Note:
Final technical rept. Mar 91-Sep 94,
Pagination:
0111

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
RL*-TR-95-143
Contract/Grant Number(s):
F30602-91-C-0043, ARPA ORDER-7730
Task Number(s):
00
Project Number(s):
G730
Monitor Series:
TR-95-143, RL/GRIFFISS
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_5.3_Planning; JCA_3_Force Application; JCA_3.1_Maneuver; JCA_4.6_Engineering; JCA_4.6.1_General Engineering; JCA_1_Force Support; JCA_3.1.2_Maneuver to Insert; JCA_5.3.1_Analyze Problem; JCA_3.1.1_Maneuver to Engage; JCA_1.1_Force Management; JCA_5.4_Decide; JCA_5.2_Understand; JCA_2_Battlespace Awareness; JCA_4.7.2_Installation Services; JCA_4.7_Base and Installations Support; JCA_5.3.3_Develop Strategy; JCA_5.3.2_Apply Situational Understanding; JCA_1.1.1_Global Force Management; JCA_5.4.5_Intuit; JCA_5.2.3_Share Knowledge and Situational Awareness
Modernization Areas:
Quantum Science and Computing; Fully Networked C3; Autonomy; Microelectronics
Communities of Interest:
C4I
Descriptor(s):
*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
Field(s)/Group(s):
Computer Programming and Software, Logistics, Military Facilities and Supplies
Keyword(s):
TPFDD(TIME PHASED FORCE AND DEPLOYMENT DATA), KIDS(KESTREL INTERACTIVE DEVELOPMENT SYSTEM), KTS(KESTREL TRANSPORTATION SCHEDULER), PE62301E, WURLG7300011
Report Date:
1995 Aug 01