Ageing International

, Volume 36, Issue 2, pp 192–216

Formal Modeling Techniques for Ambient Assisted Living

  • Guido Parente
  • Christopher D. Nugent
  • Xin Hong
  • Mark P. Donnelly
  • Liming Chen
  • Enrico Vicario
Article

DOI: 10.1007/s12126-010-9086-8

Cite this article as:
Parente, G., Nugent, C.D., Hong, X. et al. Ageing Int (2011) 36: 192. doi:10.1007/s12126-010-9086-8
  • 170 Downloads

Abstract

In the development of systems of ambient assisted living (AAL), formalized models and analysis techniques can provide a ground that makes development amenable to a systematic approach. We consider the following formal modeling tools and techniques: fault trees, evidential reasoning, evidential ontology networks, temporal logic, hidden Markov models and partially observable Markov models. We review them in the perspective of their potential in the realm of AAL, recalling the general traits and potential of each of them, and highlighting how this can be concretely deployed within the AAL realm. To this end, we present a number of scenarios providing insight on how each technique can match the needs of different types of problem in the application domain.

Keywords

Ambient assisted living Formal methods Modeling and analysis techniques Knowledge engineering 

Copyright information

© Springer Science+Business Media, LLC 2010

Authors and Affiliations

  • Guido Parente
    • 1
  • Christopher D. Nugent
    • 1
  • Xin Hong
    • 1
  • Mark P. Donnelly
    • 1
  • Liming Chen
    • 1
  • Enrico Vicario
    • 2
  1. 1.Computer Science Research InstituteUniversity of UlsterNewtownabbeyNorthern Ireland
  2. 2.Software Technologies LabUniversity of FlorenceFlorenceItaly

Personalised recommendations