Component-Oriented Behavior Extraction for Autonomic System Design (Extended Abstract)

Tiziana Margaria, Marco Bakera, Christian Wagner

Research output: Contribution to journalConference articlepeer-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 properties of the ESA ExoMars 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.

Original languageEnglish
JournalDagstuhl Seminar Proceedings
Volume9201
Publication statusPublished - 2009
Externally publishedYes
EventSelf-Healing and Self-Adaptive Systems 2009 - Wadern, Germany
Duration: 10 May 200915 May 2009

Fingerprint

Dive into the research topics of 'Component-Oriented Behavior Extraction for Autonomic System Design (Extended Abstract)'. Together they form a unique fingerprint.

Cite this