研究嵌入式环境下的调试技术，并开发原型系统。主要包括：嵌入式环境下应用级调试技术，实现原型系统，具备常见的应用级调试功能；嵌入式环境下内核级调试技术，实现原型系统，具备常见的内核级调试功能；高效率检测并发（并行）程序执行中存在的死锁，并高效率重放死锁；高效率检测并发（并行）程序执行中（可能）存在的数据竞争，并高效率重放数据竞争。为嵌入式环境下程序员提供强大的支撑。