Validating the ds1 remote agent experiment

Artificial Intelligence, Robotics and Automation in Space, Proceedings of the Fifth International Symposium, ISAIRAS '99, held 1-3 June, 1999 in ESTEC, Noordwijk, the Netherlands. Other equally important goals of the experiment were to decrease the risk of deploying Remote Agents on future missions and to familiarize the spacecraft engineering community with the Remote Agent approach.NASA Technical Reports Server (NTRS), COMPUTER PROGRAMMING, SOFTWARE ENGINEERING, FLIGHT CONTROL, SYSTEMS ENGINEERING, AUTONOMY, LISP (PROGRAMMING LANGUAGE), JAVA (PROGRAMMING LANGUAGE), ERRORS, APPLICATIONS PROGRAMS (COMPUTERS), PROGRAM VERIFICATION (COMPUTERS), Havelund, Klaus, Lowry, Mike, Park, Seung Joon, Pecheur, Charles, Penix, John, Visser, Willem, White, Jon L., This paper describes two separate efforts that used the SPIN model checker to verify deep space autonomy flight software.The first effort occurred at the beginning of a spiral development process and found five concurrency errors early in the design cycle that the developers acknowledge would not have been found through testing. 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.

By continuing to use this site, you consent to the use of cookies.

On the other side, there is the need of simplifying the control of the mission by allowing the possibility that the scientists give a high level goal description to the robot and the (autonomous) robot is able to perform the assigned task without requiring low level instructions from the humans.

In order to fulfill such ambitious goals, it is necessary to combine different techniques and methodologies, but in any case the adoption of Artificial Intelligence methodologies seems to be necessary [Doyle 97, Muscettola et al. In fact, tasks as planning, scheduling, diagnosis and reconfiguration al require reasoning capabilities and an explicit representation of the knowledge about the robot, the task and the environment.

This demonstration included both nominal operations with goal-oriented commanding and closed-loop plan execution, and fault protection capabilities with failure diagnosis and recovery, on-board replanning following unrecoverable failures, and system-level fault protection.

A primary goal of this experiment was to provide an onboard demonstration of spacecraft autonomy.