Sciweavers

Share
ICRA
2002
IEEE

A Suite of Tools for Debugging Distributed Autonomous Systems

9 years 3 months ago
A Suite of Tools for Debugging Distributed Autonomous Systems
This paper 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 a new 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.
David Kortenkamp, Reid G. Simmons, Tod Milam, Joaq
Added 15 Jul 2010
Updated 15 Jul 2010
Type Conference
Year 2002
Where ICRA
Authors David Kortenkamp, Reid G. Simmons, Tod Milam, Joaquín Lopez Fernández
Comments (0)
books