Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1177/0278364907084986 | I. J. Robotic Res. |
Keywords | Field | DocType |
online mechanism,large modular robot systems,specification language,modular robot,single entity,multiple entity,logical property,verifying software,watchpoint description language,multiple robot,computer bugs,distributed processing,detectors,robots,distributed computing,multi agent system,distributed system,logic,debugging,multiagent systems,modular robots | Robotic systems,Computer science,Software bug,Correctness,Multi-agent system,Software,Self-reconfiguring modular robot,Robot,Debugging,Distributed computing | Journal |
Volume | Issue | ISSN |
27 | 3-4 | 0278-3649 |
Citations | PageRank | References |
7 | 0.54 | 14 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael De Rosa | 1 | 228 | 18.89 |
Jason Campbell | 2 | 405 | 34.62 |
Padmanabhan Pillai | 3 | 1830 | 115.85 |
Seth Copen Goldstein | 4 | 1951 | 232.71 |
Peter Lee | 5 | 21 | 2.36 |
Todd C. Mowry | 6 | 3021 | 253.75 |