Thumbnail Image
Publication

Component-oriented behavior extraction for autonomic system design

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 Science Foundation Ireland Research 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