@inproceedings{47f3f0d5aee046219fe7814ac174395a,
title = "Modeling the image-processing behavior of the NASA voyager mission with ASSL",
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 imageprocessing 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.",
keywords = "Assl, Code generation, Voyager mission",
author = "Emil Vassev and Mike Hinchey",
year = "2009",
doi = "10.1109/SMC-IT.2009.37",
language = "English",
isbn = "9780769536378",
series = "Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009",
pages = "246--253",
booktitle = "Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009",
note = "2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009 ; Conference date: 19-07-2009 Through 23-07-2009",
}