Component-Oriented Behavior Extraction for Autonomic System Design

Margaria, Tiziana; Bakera, Marco; Wagner, Christian

doi:10.4230/DagSemProc.09201.9

Document

Component-Oriented Behavior Extraction for Autonomic System Design

Authors Tiziana Margaria, Marco Bakera, Christian Wagner

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 9201
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2009-07-27

PDF

File

PDF

DagSemProc.09201.9.pdf

Filesize: 69 kB
2 pages

Document Identifiers

DOI: 10.4230/DagSemProc.09201.9
URN: urn:nbn:de:0030-drops-20964

Subject Classification

Keywords

Self-healing
model driven design
game based model checking
model extraction

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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

Cite As Get BibTex

Tiziana Margaria, Marco Bakera, and Christian Wagner. Component-Oriented Behavior Extraction for Autonomic System Design. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009) https://doi.org/10.4230/DagSemProc.09201.9

Author Details

Tiziana Margaria

Marco Bakera

Christian Wagner

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail