University of Limerick Institutional Repository

Component-oriented behavior extraction for autonomic system design

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Bakera, Marco
dc.contributor.author Wagner, Christian
dc.contributor.author Margaria, Tiziana
dc.contributor.author Vassev, Emil
dc.contributor.author Hinchey, Mike
dc.contributor.author Steffen, Bernhard
dc.date.accessioned 2012-08-14T09:17:34Z
dc.date.available 2012-08-14T09:17:34Z
dc.date.issued 2009
dc.identifier.uri http://hdl.handle.net/10344/2448
dc.description peer-reviewed en_US
dc.description.abstract Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate properties of the ESA Exo-Mars Rover in depth. We show here how to enable GEAR’s game-based verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager II space mission. en_US
dc.language.iso eng en_US
dc.publisher NASA en_US
dc.relation.ispartofseries Proceedings of the First NASA Formal Methods Symposium (NFM 2009);
dc.relation.ispartofseries ;pp. 66-75
dc.relation.uri http://ntrs.nasa.gov/search.jsp?R=20100024471
dc.subject Autonomic System Specification Language en_US
dc.subject ASSL en_US
dc.subject Voyager 11 space mission en_US
dc.title Component-oriented behavior extraction for autonomic system design en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor European Union en_US
dc.relation.projectid Shadows Project (1st 2006-35157) en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US
dc.internal.authorcontactother emil.vassev@lero.ie
dc.internal.authorcontactother mike.hinchey@lero.ie

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