Formalizing a Methodology for Design- and Runtime Self-Healing

Jung, Georg; Margaria, Tiziana; Wagner, Christian; Bakera, Marco

doi:10.1109/ease.2010.21

Cited by 8 publications

(4 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Unanticipated changes to the source code that violate assumptions and internal structure of the programs at compile time have been addressed in [11] The system is divided into two parts, firstly the functional part that implements the expected requirements and secondly the self-healing part that defines the policies of automatic failure detection and recovery. The two modules are defined separately and the failure module is used to encapsulate the functional and selfhealing components.…”

Section: Related Workmentioning

confidence: 99%

A case-based framework for self-healing paralysed components in Distributed Software applications

Hasan

Imran

Sakib

2014

The 8th International Conference on Software, Knowledge, Information Management and Applications (SKIMA 2014)

View full text Add to dashboard Cite

Self-healing is the ability of the software to detect faulty modules at execution time and replace or recover those without affecting other components. This paper proposes a framework for self-healing of Distributed Software System (DSS). M onitoring component is used to detect and record failures of DSS. Healing system will replace the paralysed components with healthy ones which will be initiated from the information given by M onitoring system to the proposed Reviver process. A failed case table is required to match the real life failures with it for identification of the solution. Distance between the failed case table and the recorded failures need to be calculated using exclusive OR since the solution closest to the fail can then be determined. Afterwards, the minimum distance between those is used to resolve the failure. This recovery is achieved through replacement of the faulty modules with redundant components in the DSS. Performance evaluation shows a desirable time consumption of less than the standard 0.7 seconds for component replacement in all the experimental iterations.

show abstract

Section: Related Workmentioning

confidence: 99%

A case-based framework for self-healing paralysed components in Distributed Software applications

Hasan

Imran

Sakib

2014

The 8th International Conference on Software, Knowledge, Information Management and Applications (SKIMA 2014)

View full text Add to dashboard Cite

show abstract

“…These technologies are suitable to handle several kinds of issues on different kinds of abstraction levels. A detailed description of the organization of the SHADOWS self-healing platform and of the underlying methodology is provided in [12].…”

Section: A Enabling Model Based Self-healingmentioning

confidence: 99%

“…How these runtime techniques are organized and how they jointly work in practice is summarized in [12].…”

Section: A Enabling Model Based Self-healingmentioning

confidence: 99%

Extracting Component-Oriented Behaviour for Self-Healing Enabling

Bakera

Wagner

Margaria

et al. 2010

2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems

Self Cite

View full text Add to dashboard Cite

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.

show abstract

“…This model reveals properties of the system's behavior, for instance how to finally place an order (which requires a non-empty shopping cart), which is useful behavioral information when trying to interact with the system. The overall workflow for active automata learning within the presented framework, formalized in XPDD [9], is shown in Figure 9: on the left hand side input artifacts are visualized (e.g., the SUL's interface description), while on the left hand side output artifacts are visible (most importantly the learned model). If all processing steps (shown in the center of the figure) are automated, complete learning setups can be instantiated and executed without manual intervention.…”

Section: Usage In Learnlibmentioning

confidence: 99%

Automated Learning Setups in Automata Learning

Merten

Isberner

Howar

et al. 2012

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Self Cite

View full text Add to dashboard Cite

Test drivers are an essential part of any practical active automata learning setup. These components to accomplish the translation of abstract learning queries into concrete system invocations while managing runtime data values in the process. In current practice test drivers typically are created manually for every single system to be learned. This, however, can be a very time-consuming and thus expensive task, making it desirable to find general solutions that can be reused. This paper discusses how test drivers can be created for LearnLib, a flexible automata learning framework. Starting with the construction of application-specific test drivers by hand, we will discuss how a generic test driver can be employed by means of configuration. This configuration is created manually or (semi-)automatically by analysis of the target system's interface.

show abstract

Formalizing a Methodology for Design- and Runtime Self-Healing

Cited by 8 publications

References 27 publications

A case-based framework for self-healing paralysed components in Distributed Software applications

A case-based framework for self-healing paralysed components in Distributed Software applications

Extracting Component-Oriented Behaviour for Self-Healing Enabling

Automated Learning Setups in Automata Learning

Contact Info

Product

Resources

About