DagSemProc.09201.9.pdf
- Filesize: 69 kB
- 2 pages
Document
Component-Oriented Behavior Extraction for Autonomic System Design
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 9201
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2009-07-27
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
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.
Subject Classification
Keywords
- Self-healing
- model driven design
- game based model checking
- model extraction
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads