Validating the ds1 remote agent experiment dating a casual friend

The paper demonstrates that formal methods tools can find concurrency errors that indeed lead to loss of spacecraft functions, even for the complex software required for autonomy.

Smith, William Taylor and Yu-wen Tung This paper describes the validation of the Remote Agent Experiment.

Gamble Jr., Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, Kanna Rajan, Nicolas Rouquette, Benjamin D.

Google(); req('single_work'); $('.js-splash-single-step-signup-download-button').one('click', function(e){ req_and_ready('single_work', function() ); new c.

We use cookies to make interactions with our website easy and meaningful, to better understand the use of our services, and to tailor advertising.

A first significant result of the use of Artificial Intelligence techniques for autonomously supervising a spacecraft has been obtained in May 1999 by NASA Ames and JPL with the Remote Agent project. An Artificial High Level Vision Agent for the Interpretation of the Operations of a Robotic Arm. Symposium on Artificial Intelligence, Robotics and Automation in Space, The Netherlands, 1999[Finzi et al.

In this project the Remote Agent system was able to successfully supervise the Deep Space 1 spacecraft for two days by accepting high level goals, translating them in commands for the spacecraft, scheduling the exact timing of the commands and singling out faults, and automatically reconfiguring the spacecraft. There are a number of reasons for such an interest. On one side, autonomy is necessary for the deployment of robots in missions that are unmanned and/or quite far from the Earth (deep space, that is beyond the lunar orbit). A System Integrating High and Low Level Planning of Complex Tasks with a 3-D Visualizer. Symposium on Artificial Intelligence, Robotics and Automation in Space, The Netherlands, 1999[Nayak et al. Smith , William Taylor This paper describes the validation of the Remote Agent Experiment. Gamble , Bob Kanefsky , James Kurien , William Millar , Nicola Muscettola , Kanna Rajan , Nicolas Rouquette , Yu-wen Tung , Benjamin D.These goals were achieved by successfully integrating the Remote Agent with the Deep Space 1 #ight software, developing a layered testing approach, and taking various steps to gain the con#dence of the spacecraft team.

Tags: , ,