Formal Modeling Techniques for Ambient Assisted Living

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 ontol...

Full description

Saved in:
Bibliographic Details
Published in:Ageing international 2011-06, Vol.36 (2), p.192-216
Main Authors: Parente, Guido, Nugent, Christopher D., Hong, Xin, Donnelly, Mark P., Chen, Liming, Vicario, Enrico
Format: Article
Language:English
Subjects:
Activities of daily living
Aging
Assisted living facilities
Automation
Cognition & reasoning
Human error
Localization
Medical equipment
Monitoring systems
Older people
Ontology
Radio frequency identification
Sensors
Social Sciences
Software
Studies
Temporal logic
Trends
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0163-5158
1936-606X
DOI:10.1007/s12126-010-9086-8