University of Limerick Institutional Repository

Modeling the image-processing behavior of the NASA voyager mission with ASSL

DSpace Repository

Show simple item record Vassev, Emil Hinchey, Mike 2012-01-11T16:50:46Z 2012-01-11T16:50:46Z 2009
dc.description non-peer-reviewed en_US
dc.description.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. en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation.ispartofseries 3rd IEEE International Conference on Space Mission Challenges for Information Technology;07/2009
dc.rights “© 2009 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. en_US
dc.subject voyager mission en_US
dc.subject ASSL en_US
dc.subject code generation en_US
dc.title Modeling the image-processing behavior of the NASA voyager mission with ASSL en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.contributor.sponsor IRCSET
dc.contributor.sponsor SFI
dc.relation.projectid 03/CE2/I303_1

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account