Abstract
We address the problem of modeling a risk detection system oriented to elderly’s home-care, which may cause the generation of an alarm if there is evidence of a serious problem. We have chosen a network of timed automata as a suitable formalism to solve the problem in a simple and elegant fashion. Our model is capable of representing the subject’s environment, modeling his behavior dynamics, detecting several types of abnormal behavior patterns, and deciding whether they have enough evidence of being dangerous to generate an alarm. In addition, the formalism allows concurrent activity monitoring in different rooms, what is useful to determine if the person is alone at home, in order to avoid the generation of false alarms when the elder is supposed to be already under human care. We have verified critical properties of the model by using a model-checking engine.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van den Broek, G., Cavallo, F., Odetti, L., Wehrmann, C.: Ambient assisted living roadmap. Technical report, AALIANCE (2009)
Fernández-Luque, F., Zapata, J., Ruiz, R., Iborra, E.: A Wireless Sensor Network for Assisted Living at Home of Elderly People. In: Mira, J., Ferrández, J.M., Álvarez, J.R., de la Paz, F., Toledo, F.J. (eds.) IWINAC 2009, Part II. LNCS, vol. 5602, pp. 65–74. Springer, Heidelberg (2009)
Loke, S.W.: Context-aware artifacts: Two development approaches. IEEE Pervasive Computing 5(2), 48–53 (2006)
Alur, R.: Timed Automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8–22. Springer, Heidelberg (1999)
Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87–124. Springer, Heidelberg (2004)
Tripakis, S., Dang, T.: Modeling, verification and testing using timed and hybrid automata. In: Mosterman, P., Nicolescu, G. (eds.) Model-Based Design for Embedded Systems, pp. 383–436. CRC Press (2009)
Botía, J.A., Villa, A., Palma, J.T.: Ambient assisted living system for in-home monitoring of healthy independent elders. Expert Syst. Appl. 39(9), 8136–8148 (2012)
Tobarra, M.L., Cazorla, D., Cuartero, F., Pardo, J.J.: Modelling secure wireless sensor networks routing protocols with timed automata. In: Proceedings of PM2HW2N, pp. 51–58 (2008)
Hutzler, G., Klaudel, H., Wang, D.Y.: Towards Timed Automata and Multi-agent Systems. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol. 3228, pp. 161–172. Springer, Heidelberg (2004)
Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Navarrete, I., Rubio, J.A., Botía, J.A., Palma, J.T., Campuzano, F.J. (2012). Modeling a Risk Detection System for Elderly’s Home-Care with a Network of Timed Automata. In: Bravo, J., Hervás, R., Rodríguez, M. (eds) Ambient Assisted Living and Home Care. IWAAL 2012. Lecture Notes in Computer Science, vol 7657. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35395-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-35395-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35394-9
Online ISBN: 978-3-642-35395-6
eBook Packages: Computer ScienceComputer Science (R0)