A suite of tools for debugging distributed autonomous systems

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.

[1]  Ben C. Moszkowski,et al.  A Temporal Logic for Multilevel Reasoning about Hardware , 1985, Computer.

[2]  Jeffrey J. P. Tsai,et al.  An event-based real-time logic to specify the behavior and timing properties of real-time systems , 1991, [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91.

[3]  David Kortenkamp,et al.  Intelligent Control of a Water-Recovery System: Three Years in the Trenches , 2003, AI Mag..

[4]  Michael M. Gorlick,et al.  Real-time interval logic for reasoning about executions of real-time programs , 1989, TAV3.

[5]  Edmund M. Clarke,et al.  Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..

[6]  Robert P. Goldman,et al.  Coordinated deployment of multiple, heterogeneous robots , 2000, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113).

[7]  Eileen Kraemer,et al.  Applying Program Visualization Techniques to Aid Parallel and Distributed Program Development , 1991 .

[8]  Reid G. Simmons,et al.  First Results in the Coordination of Heterogeneous Robots for Large-Scale Assembly , 2000, ISER.

[9]  Michael M. Gorlick,et al.  Real-time interval logic for reasoning about executions of real-time programs , 1989 .

[10]  Amir Pnueli,et al.  Explicit clock temporal logic , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[11]  E. A Emerson,et al.  Using Branching Time Logic to Synthesize Synchronization Skeletons , 1982 .

[12]  Ben C. Moszkowski.  Some Very Compositional Temporal Properties , 1994, PROCOMET.

[13]  Michael T. Heath,et al.  Visualizing the performance of parallel programs , 1991, IEEE Software.

[14]  Saharon Shelah,et al.  On the temporal analysis of fairness , 1980, POPL '80.

[15]  Thomas A. Henzinger,et al.  Real-time logics: complexity and expressiveness , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[16]  Reid G. Simmons,et al.  Collecting and Analyzing Data from Distributed Control Programs , 2001, Electron. Notes Theor. Comput. Sci..

[17]  Reid G. Simmons,et al.  Structured control for autonomous robots , 1994, IEEE Trans. Robotics Autom..

[18]  Aloysius K. Mok,et al.  A Graph-Theoretic Approach for Timing Analysis and its Implementation , 1987, IEEE Transactions on Computers.

[19]  Reid Simmons,et al.  Visualization Tools for Validating Software of Autonomous Spacecraft , 1999 .

[20]  Erann Gat,et al.  Experiences with an architecture for intelligent, reactive agents , 1997, J. Exp. Theor. Artif. Intell..

[21]  Aloysius K. Mok,et al.  Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.

[22]  Theodore F. Lehr.  MKM : Mach Kernel Monitor description, examples and measurements , 1989 .

[23]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..

[24]  Devang Shah,et al.  Programming with threads , 1996 .

[25]  Pete Bonasso.  Intelligent Control of a NASA Advanced Water Recovery System , 2001 .

[26]  蔡進發,et al.  Monitoring and Debugging Distributed Real-Time Systems , 1993 .