2026-07-23T13:08:55Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2096 2024-03-06T11:08:46Z ddc:004 open_access

Component-Oriented Behavior Extraction for Autonomic System Design Margaria, Tiziana Bakera, Marco Wagner, Christian Self-healing model driven design game based model checking model extraction 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Tiziana Margaria and Marco Bakera and Christian Wagner 2009 Is Part Of Dagstuhl Seminar Proceedings, Volume 9201, Self-Healing and Self-Adaptive Systems (2009) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.09201.9 urn:nbn:de:0030-drops-20964 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.9 eng https://creativecommons.org/licenses/by/4.0/legalcode