Loading...
Extracting component-oriented behaviour for self-healing enabling.
Date
2010
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 in depth properties of the ESA ExoMars Rover. We show here how to enable GEAR’s gamebased 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. This way, we close the gap between the design-time and the run-time techniques provided in the SHADOWS platform for self-healing of concurrency, performance, and functional issues.1
Supervisor
Description
peer-reviewed
Publisher
IEEE Computer Society
Citation
Proceedings of the 7th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems;2009
Files
Loading...
2009_Margaria.pdf
Adobe PDF, 594.33 KB
Keywords
Funding code
Funding Information
EU SHADOWS, Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
Type
Meetings and Proceedings
Rights
https://creativecommons.org/licenses/by-nc-sa/1.0/