University of Limerick Institutional Repository

Extracting component-oriented behaviour for self-healing enabling.

DSpace Repository

Show simple item record Bakera, Marco Wagner, Christian Margaria, Tiziana Vassev, Emil Hinchey, Mike Steffen, Bernhard 2012-03-15T17:19:03Z 2012-03-15T17:19:03Z 2010
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 in depth properties of the ESA ExoMars Rover. We show here how to enable GEAR’s gamebased 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. This way, we close the gap between the design-time and the run-time techniques provided in the SHADOWS platform for self-healing of concurrency, performance, and functional issues.1 en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation.ispartofseries Proceedings of the 7th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems;2009
dc.rights “© 2010 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 ASSL en_US
dc.subject software systems en_US
dc.title Extracting component-oriented behaviour for self-healing enabling. 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.type.restriction none en
dc.contributor.sponsor EU SHADOWS
dc.contributor.sponsor SFI
dc.relation.projectid project no: 035157

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account