University of Limerick Institutional Repository
Extracting component-oriented behaviour for self-healing enabling.
DSpace Repository
- ULIR Home
- →
- Faculty of Science and Engineering
- →
- LERO
- →
- LERO - UL authors
- →
- View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Extracting component-oriented behaviour for self-healing enabling.
Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard
Date:
2010
Publication:
Proceedings of the 7th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems;2009
Publication type:
Conference item
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
Description:
peer-reviewed
Files in this item
This item appears in the following Collection(s)
Related items
Showing items related by title, author, creator and subject.
-
Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard (NASA, 2009)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 ...
-
Lamprecht, Anna-Lena; Steffen, Bernhard; Margaria, Tiziana (Springer, 2016)The jABC is a framework for process modelling and execution according to the XMDD (eXtreme model-driven design) paradigm, which advocates the rigorous use of user-level models in the software development process and software ...
-
Vassev, Emil; Hinchey, Mike; Quigley, Aaron (2009)Autonomic computing augurs great promise for deep space exploration missions, bringing onboard intelligence and less reliance on control links. As part of our research on the ASSL (Autonomic System Specification Language) ...
-
Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2009)We present a new formal approach to the implementation of embedded systems, arrived at by introducing self-management capabilities to the same. We use the ASSL (Autonomic System Specification Language) framework to approach ...
-
Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2009)NASA exploration missions increasingly rely on the concepts of autonomic computing, exploiting these to increase the survivability of remote missions, particularly when human tending is not feasible. This paper presents ...