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

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 2002
Accession Number
ADA409702

Entities

People

  • Douglas R. Smith
  • Stephen Fitzpatrick
  • Stephen J. Westfold

Organizations

  • Kestrel Institute

Tags

Communities of Interest

  • Ground and Sea Platforms
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Aircrafts
  • Algorithms
  • Automatic
  • Computer Programming
  • Computer Science
  • Construction
  • Control Systems
  • Costs
  • Demographic Cohorts
  • Engineering
  • Geometry
  • Identification
  • Monitoring
  • Software Development
  • Specifications

Fields of Study

  • Computer science
  • Engineering

Readers

  • Logistics and Supply Chain Management.
  • Sensor Fusion and Tracking Systems.
  • Software Engineering.