Resource management must operate in real time and with limited, localized information, and must compete with the sensors for communication and data processing resources. Kestrel will demonstrate its work using a network of simple radars, that have limited communication and processing capabilities, to perform target detection and tracking.
Kestrel has extensive experience in formal specification and synthesis.
Kestrel has applied its technology in various application domains, including the development of high-performance batch schedulers for transportation. The scheduling required for sensor networks must be continual because tasks are continually being generated and resource availability may be unstable. The tasks that are to be performed by the network of sensors have explicit real-time deadlines. For example, a target must be scanned within a certain time or periodically with a minimum frequency. Allowance must also be made for the time it takes for a resource manager to gather information and communicate instructions to sensors.