University of Limerick Institutional Repository

Component-oriented behavior extraction for autonomic system design

DSpace 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

Search DSpace


Browse

My Account

Statistics