Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL

NASA exploration missions increasingly rely on the concepts of autonomic computing, exploiting these to increase the survivability of remote missions, particularly when human tending is not feasible. This paper presents initial results of long term research targeted at the design and implementation of prototype models for future voyager like missions that rely on principles of autonomic computing. Here, we employ the autonomic system specification language (ASSL) to build a formal model and to generate a prototype for the image processing behavior of the NASA voyager mission. This helps to validate existing features and perform experiments through simulation. Moreover, this prototype lays the basis for future experiments whereby autonomic features are added in a stepwise manner.