Thumbnail Image
Publication

Component-oriented behavior extraction for autonomic system design

Citations
Altmetric:
Date
2009
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.
Supervisor
Description
peer-reviewed
Publisher
NASA
Citation
Proceedings of the First NASA Formal Methods Symposium (NFM 2009);;pp. 66-75
Collections
Lero, the Research Ireland Centre for Software
Show all metadata
Files
Thumbnail Image
2009_Bakera.pdf
Adobe PDF, 374.25 KB
Keywords
Autonomic System Specification Language, ASSL, Voyager 11 space mission
ULRR Identifiers
https://hdl.handle.net/10344/2448
 https://doi.org/10.34961/461
Funding code
Funding Information
European Union (EU)
Sustainable Development Goals
External Link
License
Embedded videos