Extracting component-oriented behaviour for self-healing enabling

Marco Bakera, Christian Wagner, Tiziana Margaria, Emil Vassev, Mike Hincheyz, Bernhard Steffen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 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. 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.

Original languageEnglish
Title of host publicationProceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010
Pages152-161
Number of pages10
DOIs
Publication statusPublished - 2010
Externally publishedYes
Event7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010 - Oxford, United Kingdom
Duration: 22 Mar 201026 Mar 2010

Publication series

NameProceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010

Conference

Conference7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010
Country/TerritoryUnited Kingdom
CityOxford
Period22/03/1026/03/10

Fingerprint

Dive into the research topics of 'Extracting component-oriented behaviour for self-healing enabling'. Together they form a unique fingerprint.

Cite this