Real-Time Asset Rescheduling With Execution Monitoring and Accurate Asset Tracking

摘要

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 Army's Crane Ammunition Depot.