Testing and debugging soft real-time systems

Gyan Aggarwal will talk about building a system to test and debug soft real time systems with actual physical robots.

In an automated warehouse robots are used to move racks around to pick items for order fulfillment or put items for stock replenishment. We need to coordinate the movements of robots in a conflict-free manner over time and space and allow maximum concurrency/throughput. There is lot of randomness in automated warehouse operation and that results into many corner/edge cases which are hard to anticipate.

We have developed a framework/tool that allows us to recreate such scenarios quickly. Once, we can recreate such corner cases, we can easily debug them and find appropriate solution.

This framework/tool is specific to our domain but can be extended as a generic framework using higher-order function.