University of Limerick Institutional Repository
Extracting component-oriented behaviour for self-healing enabling.
DSpace Repository
- DSpace 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
Publisher:
IEEE Computer Society
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 ...
-
Pullum, Laura; Cui, Xiaohui; Vassev, Emil; Hinchey, Mike; Rouff, Christopher; Buskens, Richard (The American Institute of Aeronautics and Astronautics (AIAA), 2012)Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial ...
-
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 ...
-
Vassev, Emil; Hinchey, Mike; Quigley, Aaron (2009)We address the need to realize a runtime self-modifiable architecture for autonomic systems, specified and generated with the ASSL (Autonomic System Specification Language) framework. This framework generates such systems ...
-
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 ...