Validating the ds1 remote agent experiment kaleidoscope dating game cheats
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.
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.
Other equally important goals of the experimentwere to decrease the risk of deploying Remote Agents on future missions and to familiarize the spacecraft engineering community with the Remote Agent approach.
This effort required a substantial manual modeling effort involving both abstraction and translation from the prototype LISP code to the PROMELA language used by SPIN.
This experience and others led to research to address the gap between formal method tools and the development cycle used by software developers.
The concept of autonomy plays a very important role in the space technology and this problem has been investigated to a great extent at international conferences such as the 5th Intern.
Symposium on Artificial Intelligence, Robotics and Automation in Space held at ESTEC, The Netherlands, in June 1999; the 6th i SAIRAS held in Montreal, Canada, in 2001; and the ESA Workshop on On-Board Autonomy held in Noordwijk in October 2001.
In this paper we describe how we achieved our goals, and discuss the actual on-board demonstration in May, 199...
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.
Second, it describes progress in automatic translation and abstraction that eventually will enable formal methods tools to be inserted directly into the aerospace software development cycle.
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.