|title:||An Eclipse-Based Debugger for Embedded Systems Software|
|keywords:||debugger, model checking, virtual machine, embedded systems|
The goal of this project is to develop a multi-level debugger for embedded systems software. The debugger should be integrated with the Eclipse development environment. It should interface with MCESS, a micro-controller simulation and verification tool built on top of the NIPS Virtual Machine. The project also includes the identification, specification and documentation of interfaces, protocols, and file formats needed to accomplish the task.
The result of the project can be tried out.