Self-healing Mechanism over the Cloud on Interaction Layer for AALs Using HARMS

摘要

In humans, interactions happen as a process taught generation to generation, it is our nature given the implicit need of cooperation within society. When talking about systems, reality is rather different, specifically for systems conformed by heterogeneous agents. In this sense, errors in interactions can occur at any time and for many different reasons. This paper proposes a self-healing mechanism based on model checking, taking advantages of the cloud for ambient assisted living systems.