Work

Component-oriented behavior extraction for autonomic system design

Year: 2009

Type: conference-paper

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.

Source: University of Limerick Institutional Repository (University of Limerick)

DOI: 10.34961/461

Authors: Bakera, Marco, Wagner, Christian, Margaria, Tiziana, Vassev, Emil, Hinchey, Mike, Steffen, Bernhard

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: European Commission

OpenAlex ID: W7076813151

FWCI: 0.257

Cites:

Cited by: 1

Related to: 10