Abstract
Formal specifications are used to prove software correctness in a critical system. Ambient Assisted Living (AAL) technologies require unambiguous and precise requirements as they provide critical services for home monitoring. Several AAL technologies have already been designed using scenario-driven approach. But most of them do not precise how to ensure the correctness and conformity of the scenario related to end-user specifications. The multidisciplinary requirements brought by the design team and the assistance to the elderly need a rigorous mechanism for validating and specifying assistance scenarios. In this article, we propose a formal specification approach for scenario construction in the context of AAL technologies. We explain how to instantiate any scenario from the modeled specification, and give some results obtained by using the Alloy language and its validation module. We present a case study applied to nighttime wandering scenario.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. (TOSEM) 11(2), 256–290 (2002)
Radziszewski, R., Ngankam, H., Pigot, H., Grégoire, V., Lorrain, D., Giroux, S.: An ambient assisted living nighttime wandering system for elderly. In: Proceedings of the 18th International Conference on Information Integration and Web-based Applications and Services (iiWAS2016), pp. 368–374. ACM (2016)
Snook, C., Butler, M.: UML-B: formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol. (TOSEM) 15(1), 92–122 (2006)
Otte, F.J.P., Saurer, B.R., Stork, W.: Unsupervised learning in ambient assisted living for pattern and anomaly detection: a survey. In: O’Grady, M.J., Vahdat-Nejad, H., Wolf, K.-H., Dragone, M., Ye, J., Röcker, C., O’Hare, G. (eds.) AmI 2013. CCIS, vol. 413, pp. 44–53. Springer, Cham (2013). doi:10.1007/978-3-319-04406-4_6
Perera, C., Zaslavsky, A., Christen, P., Georgakopoulos, D.: Context aware computing for the internet of things: a survey. IEEE Commun. Surv. Tutor. 16(1), 414–454 (2014)
Cook, D.J., Song, W.: Ambient intelligence and wearable computing: sensors on the body, in the home, and beyond. J. Ambient Intell. Smart Environ. 1(2), 83–86 (2009)
Cook, D.J., Augusto, J.C., Jakkula, V.R.: Review: ambient intelligence: technologies, applications, and opportunities. Pervasive Mob. Comput. 4(5), 277–298 (2009)
Acampora, G., Cook, D.J., Rashidi, P., Vasilakos, A.V.: A survey on ambient intelligence in healthcare. Proc. IEEE 12(101), 277–298 (2013)
Weidenhaupt, K., Pohl, K., Jarke, M., Haumer, P., Aachen, R.: Scenarios in system development: current practice. IEEE Softw. 15(2), 34–45 (1998)
Verza, R., Carvalho, M.L., Battaglia, M.A., Uccelli, M.M.: An interdisciplinary approach to evaluating the need for assistive technology reduces equipment abandonment. Multiple Scler. J. 12(1), 88–93 (2006)
Stanton, N.A.: Hierarchical task analysis: developments, applications, and extensions. Appl. Ergon. 1(37), 55–79 (2006)
Mori, G., Fabio, P., Carmen, S.: CTTE: support for developing and analyzing task models for interactive system design. IEEE Trans. Softw. Eng. 28(8), 797–813 (2002)
Lamsweerde, A.V.: Formal specification: a roadmap. In: Proceedings of the Conference on the Future of Software Engineering, pp. 147–159 (2000)
Radziszewski, R., Kenfack, N.H., Grégoire, V., et al.: Designing calm and non-intrusive ambient assisted living system for monitoring nighttime wanderings. Int. J. Pervasive Comput. Commun. 13(2), 114–129 (2017)
Lai, C.K., Arthur, D.G.: Wandering behaviour in people with dementia. J. Adv. Nurs. 2(44), 173–182 (2003)
Acknowledgement
This research was funded by Canada Networks of Centres of Excellence (NCE) program, AGE-WELL.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Kenfack Ngankam, H., Pigot, H., Frappier, M., Oliveira, C.H., Giroux, S. (2017). Formal Specification for Ambient Assisted Living Scenarios. In: Ochoa, S., Singh, P., Bravo, J. (eds) Ubiquitous Computing and Ambient Intelligence. UCAmI 2017. Lecture Notes in Computer Science(), vol 10586. Springer, Cham. https://doi.org/10.1007/978-3-319-67585-5_51
Download citation
DOI: https://doi.org/10.1007/978-3-319-67585-5_51
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-67584-8
Online ISBN: 978-3-319-67585-5
eBook Packages: Computer ScienceComputer Science (R0)