University of Limerick Institutional Repository
Extracting component-oriented behaviour for self-healing enabling.
DSpace Repository
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 (Association for Computing Machinery, 2013)The development of unmanned space exploration missions is closely related to integration and promotion of autonomy in robotic spacecraft. Elicitation and expression of autonomy requirements is one of the most significant ...
-
Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2013)Contemporary robotics relies on the most recent advances in automation and robotic technologies to promote autonomy and autonomic computing principles to robotized systems. However, it appears that the design and implementation ...
-
Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2013)In new space exploration initiatives of NASA and ESA, there is emphasis on both human and robotic exploration. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic ...