Volume 27 Issue 3-4 - Publication Date: 1 March 2008
Distributed Watchpoints: Debugging Large Modular Robot Systems
Michael De Rosa, Seth Goldstein and Peter Lee Computer Science Department Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3891, USA, Jason Campbell and Padmanabhan Pillai Intel Research Pittsburgh 4720 Forbes Avenue, Suite 410 Pittsburgh, PA 15213, USA
Distributed systems frequently exhibit properties of interest which span multiple entities. These properties cannot easily be recognized from any single entity, but can be readily detected by combining the knowledge of multiple entities. Testing for distributed properties is especially important in debugging or verifying software for modular robots. We have developed a technique we call distributed watchpoint triggers which can efficiently recognize distributed conditions. Our watchpoint description language can handle a variety of temporal, spatial and logical properties spanning multiple robots. In this paper we present the specification language, describe the distributed online mechanism for detecting distributed conditions in a running system and evaluate the performance of our implementation.
Return to Contents