author: Jan Scherer
title: An Eclipse-Based Debugger for Embedded Systems Software
keywords: debugger, model checking, virtual machine, embedded systems
committee: Michael Weber ,
Thomas Noll
end: April 2010


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.

Additional Resources

  1. The paper