University of Limerick Institutional Repository

ASSL specification and code generation of self-healing behavior for NASA Swarm-Based Systems

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Vassev, Emil
dc.contributor.author Hinchey, Mike
dc.date.accessioned 2012-03-20T10:57:16Z
dc.date.available 2012-03-20T10:57:16Z
dc.date.issued 2009
dc.identifier.uri http://hdl.handle.net/10344/2102
dc.description peer-reviewed en_US
dc.description.abstract The Autonomic System Specification Language (ASSL) is a framework for formally specifying, validating and generating autonomic systems. This paper presents concrete results on the use of ASSL to specify a self-healing behavior model for NASA swarm-based exploration missions and to generate an application skeleton of the same. We present the specification and experiment with the generated code to demonstrate that ASSL generates operational code that is capable of self-management in respect of the specified self-healing model. en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation.ispartofseries Proceedings of the 2009 Sixth Conference and Workshops on Engineering of Autonomic and Autonomous Systems;2009
dc.relation.uri http:dx.doi.org/10.1109/EASe.2009.12
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 autonomic systems en_US
dc.subject NASA en_US
dc.title ASSL specification and code generation of self-healing behavior for NASA Swarm-Based Systems 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 SFI
dc.relation.projectid 03/CE02/I303_1

Files in this item

This item appears in the following Collection(s)

Show simple item record

Related Items

Search DSpace


Advanced Search

Browse

My Account