Validating the ds1 remote agent experiment
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.
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 flight software, developing a layered testing approach, and taking various steps to gain the confidence of the spacecraft team.
In this paper we describe how we achieved our goals, and discuss the actual on-board demonstration in May, 199...
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.
Search for validating the ds1 remote agent experiment:
A second quick-response "cleanroom" verification effort found the concurrency error in a short amount of time.