Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Lewis, J., Matson, E.T., Wei, S., Min, B.C.: Implementing HARMS-based indistinguishability in ubiquitous robot organizations. Robot. Autonom. Syst. 61(11), 1186–1192 (2013)
Belbachir, A.N., Drobics, M., Marschitz, W.: Ambient assisted living for ageing well - an overview. Elektrotechnik Und Informationstechnik 127(7–8), 200–205 (2010)
Dai, Y., Xiang, Y., Zhang, G.: Self-healing and hybrid diagnosis in cloud computing. In: LNCS, vol. 5931 (831609), pp. 45–56 (2009)
Kirchner, D., Niemczyk, S., Geihs, K. RoSHA : A multi-robot self-healing architecture. In: LNCS, vol. 8371, pp. 304–315 (2004)
Sharma, V., Kumar, R., Rana, P.S.: Self-healing neural model for stabilization against failures over networked UAVs. IEEE Commun. Lett. 19(11), 2013–2016 (2015)
Ju, J., Liu, Z., Chen, W., Wang, J.: Switched topology control and negotiation of distributed self-healing for mobile robot formation. In: LSMS 2014 and ICSEE 2014, pp. 562–574 (2014)
Cloth, L., Haverkort, B.R.: Model checking for survivability! In: Proceedings Second International Conference on the Quantitative Evaluation of SysTems (QEST 2005), vol. 2005, pp. 145–154 (2005)
Serral, E., Valderas, P., Pelechano, V.: Supporting ambient assisting living by using executable context-adaptive task models. Int. J. Adv. Softw. 7(1), 77–87 (2014)
Hilia, M., Chibani, A., Djouani, K.: Trends and challenges in formal specification and verification of services composition in ambient assisted living applications. Procedia Comput. Sci. 19(Ant), 540–547 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Gomez, M., Chibani, A., Amirat, Y., Matson, E.T. (2018). Self-healing Mechanism over the Cloud on Interaction Layer for AALs Using HARMS. In: De la Prieta, F., et al. Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017. PAAMS 2017. Advances in Intelligent Systems and Computing, vol 619. Springer, Cham. https://doi.org/10.1007/978-3-319-61578-3_33
Download citation
DOI: https://doi.org/10.1007/978-3-319-61578-3_33
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-61577-6
Online ISBN: 978-3-319-61578-3
eBook Packages: EngineeringEngineering (R0)