Proceedings of the first workshop on Self-healing systems
Workshop on Self-Healing Systems [co-located with ACM SIGSOFT 2002: 10th International Symposium on the Foundations of Software Engineering (FSE-10)]
Model-based adaptation for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
The Vision of Autonomic Computing
Computer
Supporting autonomic computing functionality via dynamic operating system kernel aspects
Proceedings of the 4th international conference on Aspect-oriented software development
Software Testing and Analysis: Process, Principles and Techniques
Software Testing and Analysis: Process, Principles and Techniques
Automated and Adaptive Threshold Setting: Enabling Technology for Autonomy and Self-Management
ICAC '05 Proceedings of the Second International Conference on Automatic Computing
Behavior Capture and Test: Automated Analysis of Component Integration
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Rx: treating bugs as allergies---a safe method to survive software failures
Proceedings of the twentieth ACM symposium on Operating systems principles
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Microreboot — A technique for cheap recovery
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
An instance-based state representation for network repair
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Engineering runtime requirements-monitoring systems using MDA technologies
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Incremental model transformation for the evolution of model-driven systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Automated invariant maintenance via OCL compilation
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
A role-based approach to self-healing in autonomous monitoring systems
PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part II
| Hi-index | 0.00 |
Failure detection is a difficult and often expensive task. The principle of self-healing addresses this cost issue, but poses new research questions. This work focuses on detecting non-trivial failures that are hard to specify and difficult to detect within the context of self-healing software. Typical failures in this class would be problems arising at the component integration level. In this paper we discuss general requirements for failure detection in self-healing software, propose an approach to automatically map system level specifications to run-time checkable code-level assertions, and illustrate our technique through an example.