A suite of tools for debugging distributed autonomous systems
Conference Paper, Proceedings of (ICRA) International Conference on Robotics and Automation, Vol. 1, pp. 169 - 174, May, 2002
Abstract
Describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program behavior. Analysis is done using an interval logic that allows system engineers to express complex, temporal specifications to be checked against the logged data of the autonomous control program. A feature of both the logging and analysis is that they can work with distributed programs. All data is synchronized into a common database. The data logging tools and the interval logic are fully implemented. Results are given from a NASA distributed autonomous control system application.
BibTeX
@conference{Kortenkamp-2002-122320,author = {D. Kortenkamp and R. Simmons and T. Milam and J. L. Fernandez},
title = {A suite of tools for debugging distributed autonomous systems},
booktitle = {Proceedings of (ICRA) International Conference on Robotics and Automation},
year = {2002},
month = {May},
volume = {1},
pages = {169 - 174},
}
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.