Loading...
Modeling the image-processing behavior of the NASA voyager mission with ASSL
Citations
Altmetric:
Date
2009
Abstract
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.
Supervisor
Description
non-peer-reviewed
Publisher
IEEE Computer Society
Citation
3rd IEEE International Conference on Space Mission Challenges for Information Technology;07/2009
Files
Keywords
ULRR Identifiers
Funding code
Funding Information
Irish Research Council for Science, Engineering and Technology (IRCSET), Science Foundation Ireland (SFI)