Programming and debugging embedded devices is significantly more difficult than debugging traditional sequential applications. The hardware is resource constraint, making it impossible to use most existing debugging techniques for traditional sequential applications. Additionally, the execution of embedded programs often has multiple possible execution paths, making it difficult to track and reproduce bugs. Current debuggers are ill-equipped to debug highly nondeterministic constraint systems.

To solve this issue, this research aims to develop a novel debugger targeting embedded devices, that overcomes the inherent resource constraints, while providing insight into the multiple execution paths of the system. This allows developers to quickly reproduce, and find the root causes of bugs. In this extended abstract we show the current status of developing this novel debugger.