Collecting and Analyzing Data from Distributed Control Programs

Abstract This paper describes a set of tools that allows a developer to instrument a C/C++ program to log data at run-time and then analyze that data to verify correct behavior. The logging tools provide the developer with a means to log a variety of different data to a variety of different outputs. They also allow for synchronized logging of data from distributed programs. One logging output option is an SQL database. We have developed a set of analysis tools that retrieve data from the database to answer common developer questions. The analysis tools use an interval temporal logic to frame database queries. The data logging tools are fully implemented and performance results are given in this paper. The data analysis tools are currently being tested on data from real NASA applications.

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

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

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

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

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

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

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

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

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

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

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

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

[13]  David L. Mills,et al.  Simple Network Time Protocol (SNTP) Version 4 for IPv4, IPv6 and OSI , 1996, RFC.

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