When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.09201.9
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

09201.MargariaTiziana.ExtAbstract.2096.pdf (0.07 MB)


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 =	{Margaria, Tiziana and Bakera, Marco and Wagner, Christian},
  title =	{{Component-Oriented Behavior Extraction for Autonomic System Design}},
  booktitle =	{Self-Healing and Self-Adaptive Systems},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9201},
  editor =	{Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-20964},
  doi =		{10.4230/DagSemProc.09201.9},
  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
Collection: 09201 - Self-Healing and Self-Adaptive Systems
Issue Date: 2009
Date of publication: 27.07.2009

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI