University of Limerick Institutional Repository

Component-oriented behavior extraction for autonomic system design

DSpace Repository

Show simple item record Bakera, Marco Wagner, Christian Margaria, Tiziana Vassev, Emil Hinchey, Mike Steffen, Bernhard 2012-08-14T09:17:34Z 2012-08-14T09:17:34Z 2009
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.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

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


My Account