|||A-Match web site http://www-2.cs.cmu.edu/~softagents/a-match/. [ bib | http ]|
|||G. Holness, D. Karuppiah, S. Uppala, R. Grupen, and S. C. Ravela. A service paradigm for reconfigurable agents. In Proceedings of the 2nd Workshop on Infrastructure for Agents, MAS, and Scalable MAS, May 2001. [ bib | .html ]|
|||IPC web site http://www-2.cs.cmu.edu/afs/cs/project/TCA/www/ipc/ipc.html. [ bib | .html ]|
|||Java Agent Services web site http://www.java-agent.org/. [ bib | http ]|
|||JATLite web site http://java.stanford.edu/. [ bib | http ]|
|||JavaSpaces web site http://developer.java.sun.com/developer/Books/JavaSpaces/. [ bib | http ]|
|||Open Agent Architecture web site http://www.ai.sri.com/~oaa/. [ bib | http ]|
R. Simmons and G. Whelan.
Visualization tools for validating software of autonomous spacecraft.
In D. Atkinson, editor, Proceedings of the Fourth International
Symposium on Artificial Intelligence, Robotics, and Automation for Space
(i-SAIRAS), July 1997.
[ bib |
Spacecraft autonomy is becoming an increasingly important technology. Yet the very nature of autonomy - on-board decision making and largely unattended operation - makes it important that such systems be thoroughly tested and validated. We are developing software visualization tools to assist in the validation process. The tools, which are designed to facilitate human problem solving, combine graphical layout and color to present “gestalt” views of system execution, together with interactive facilities for browsing, searching, and tracking down potential problems. This paper describes two tools being developed in conjunction with the NASA New Millennium Program - one for visualizing inter-process comm-unication and one for visualizing plan execution.
|||TCA web site http://www-2.cs.cmu.edu/afs/cs/project/TCA/www/. [ bib | http ]|
|||TDL web site http://www-2.cs.cmu.edu/~tdl/. [ bib | http ]|
This file was generated by bibtex2html 1.96.