When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-20964
Go to the corresponding Portal

Margaria, Tiziana ; Bakera, Marco ; Wagner, Christian

Component-Oriented Behavior Extraction for Autonomic System Design

Document 1.pdf (70 KB)


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.

BibTeX - Entry

  author =	{Tiziana Margaria and Marco Bakera and Christian Wagner},
  title =	{Component-Oriented Behavior Extraction for Autonomic System Design},
  booktitle =	{Self-Healing and Self-Adaptive Systems},
  year =	{2009},
  editor =	{Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes},
  number =	{09201},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: Self-healing, model driven design, game based model checking, model extraction}

Keywords: Self-healing, model driven design, game based model checking, model extraction
Seminar: 09201 - Self-Healing and Self-Adaptive Systems
Issue Date: 2009
Date of publication: 27.07.2009

DROPS-Home | Fulltext Search | Imprint Published by LZI