Formalizing a Methodology for Design- and Runtime Self-Healing

Authors:
Georg Jung;Tiziana Margaria;Christian Wagner;Marco Bakera
Affiliations:
-;-;-;-
Venue:
EASE '10 Proceedings of the 2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems
Year:
2010

Citing 0
Cited 3

On handling data in automata learning: considerations from the CONNECT perspective

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A fault model centered modeling framework for self-healing computing systems

AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part II
Automated learning setups in automata learning

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we report our experience with the extraction and formalization of the methodology for the development of self-healing capabilities arisen in the context of the recently concluded SHADOWS project. Defining a methodology for system augmentation, technology description and technology introduction is in fact a central output of the project. This methodology effort additionally aimed at enhancing the coordination between project partners, the interaction between various technologies, and the applicability of self-healing to software projects.