A policy driven self-healing algorithm for context aware systems

This paper proposes a generic self-healing algorithm that automatically detects, diagnoses and repairs the problems appeared during the context aware systems´ adaptation processes. The set, situation calculus and information system theories are used to define and formalize the concepts of context situation entropy and equivalent context situations together with a set of self-healing principles. These concepts and principles are used to generically define the self-healing algorithm. The self-healing property is enforced by monitoring the systems execution environment for: (i) evaluating the degree of fulfilling the context policies of the current context situation (context situation entropy), (ii) obtaining the equivalent context situations and (iii) determining the actions that have to be executed in order to keep the system in consistent functional states. The self-healing algorithm is validated on our RAP context model by enhancing it with a generic policy representation technique for run-time evaluation.