Component-oriented behavior extraction for autonomic system design

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	EU	en_US
dc.relation.projectid	Shadows Project (1st 2006-35157)	en_US
dc.rights.accessrights	info:eu-repo/semantics/openAccess	en_US