Real-Time Asset Rescheduling With Execution Monitoring and Accurate Asset Tracking
Final rept. May 1997-Sep 2000
KESTREL INST PALO ALTO CA
Pagination or Media Count:
Through the use of software transformational synthesis technology, synthesize rescheduling algorithms that reschedule transportation assets using data from automatic identification technology and asset tracking hardware and software. Kestrel brought to bear its software synthesis technology which allows for the generation of correct-by-construction, high performance schedulers from formal specifications of the problem they are intended to solve. Savi Technology brought to bear its expertise in automatic identification technology and asset tracking hardware and software systems. In this effort Kestrel and Savi co-developed scheduler for Yard Management Systems based on data from the Armys Crane Ammunition Depot.
- Computer Systems