Distributed watchpoints: Debugging large multi-robot systems

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2007, Pages 3723-3729

  De Rosa, Michael ^a,b   Campbell, Jason ^a,c   Pillai, Padmanabhan ^a,c   Goldstein, Seth ^a,b   Lee, Peter ^b   Mowry, Todd ^a,c  

^a IEEE

^b Carnegie Mellon University   (United States)

^c INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPANNING MULTIPLE ROBOTS; WATCHPOINT DESCRIPTION LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; MULTI AGENT SYSTEMS; ONLINE SYSTEMS; PROGRAM DEBUGGING; SOFTWARE TESTING;

MODULAR ROBOTS;

EID: 36349004257     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2007.364049     Document Type: Conference Paper

References (16)

1. S.Goldstein, J. Campbell, and T. Mowry, "Programmable matter," IEEE Computer, vol. 38, 6, pp. 99-101, May 2005.
2. GDB: The GNU Project. Debugger. [Online]. Available: http://www.gnu.org/ software/gdb/
3. M. DeRosa, S. Goldstein, P.Lee, J. Campbell, and P. Pillai, "Distributed watchpoints: Debugging very large ensembles of robots (extended abstract)," in RSS'06 Workshop on Self-reconfigurable Modular Robotics, August 2006.
4. K. M. Chandy and L. Lamport, "Distributed snapshots: Determining global states in distributed systems," ACM Transactions on Computer Systems, vol. 3, no. 1, pp. 63-75, February 1985.
5. C. M. Chase and V. K. Garg, "Detection of global predicates: Techniques and their limitations," Distributed Computing, vol. 11, no. 4, pp. 191-201, 1998.
6. E. Fromentin, M. Raynal, V. K. Garg, and A. I. Tomlinson, "On the fly testing of regular patterns in distributed computations," in International Conference on Parallel Processing, 1994, pp. 73-76.
7. M. Hurfin, M. Mizuno, M. Raynal, and M. Singhal, "Efficient distributed detection of conjunctions of local predicates," Software Engineering, vol. 24, no. 8, pp. 664-677, 1998.
8. Z. Yang and T. A. Marsland, "Global snapshots for distributed debugging," in International Conference on Computing and Information, 1992, pp. 436-440.
9. S. Carr, J. Mayo, and C.-K. Shene, "Race conditions: A case study," The Journal of Computing in Small Colleges, vol. 17, no. 1, pp. 88-102, October 2001.
10. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: a dynamic data race detector for multithreaded programs," ACM Trans. Comput. Syst., vol. 15, no. 4, pp. 391-411, 1997.
11. A. Pnueli, "The temporal logic of programs," in Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, 1977, pp. 46-67.
12. K. B. Lamine and L. Kabanza, "Reasoning about robot actions: A model checking approach," Advances in Plan-Based Control of Robotic Agents, pp. 123-139, 2002.
13. B. Loo, T. Condie, J. Hellerstein, P. Maniatis, T. Roscoe, and I. Stoica, "Implementing declarative overlays," in Proceedings of ACM Symposium on Operating System Principles (SOSP), 2005.
14. A. Singh, T. Roscoe, P. Maniatis, and P. Druschel, "Using queries for distributed monitoring and forensics," in Proceedings of EuroSys 2006, 2006, pp. 389-402.
15. [Online]. Available: http://www.pittsburgh.intel-research.net/dprweb/
16. N. Nethercote and J. Seward, "Valgrind: A program supervision, framework," Electronic Notes in Theoretical Computer Science, 2003.