Overview
Programming and debugging wireless embedded networks is notoriously difficult. Macroprogramming systems provide abstract distributed data structures designed to simplify these tasks, but current systems provide little support for high-level debugging. MDB is a macrodebugging system that allows the programmer to debug at the macroprogram level. MDB eliminates the need for a programmer to reason about low-level event traces and message protocols, instead allowing debugging in terms of abstract data types.
Publications
Tamim Sookoor, Timothy Hnat, Pieter Hooimeijer, Westley Weimer, and Kamin Whitehouse, "Macrodebugging: Global Views of Distributed Program Execution," The 7th ACM Conference on Embedded Networked Sensor Systems (SenSys 2009), Berkeley, CA, Nov. 2009. (PPT)
Demos
Timothy W. Hnat, Tamim I. Sookoor, and Kamin Whitehouse, "Demo Abstract: Macrodebugging with MDB," The 7th ACM Conference on Embedded Networked Sensor Systems (SenSys 2009), Berkeley, CA, Nov. 2009.