Smart Home for Elderly: Modeling and Simulation

Abstract – The development trend of computing is that the intelligence will become ambient. It is a one-user multi-device paradigm. These devices are transparent to the user and they can react in a proactive and non-intrusive manner. Moreover, among the general population those most likely to benefit from the development of this technology are the elderly and dependent people. They often wish to continue living independently in their home as opposed to being forced to live in a hospital. For that, homes should be smart in order to provide safety, security to reduce falls, disability, stress, fear or social isolation. Nevertheless, much of processes used for smart home design are ad-hoc. To cope with this drawback, while taking into account both dimensions of time and space, it is required to use a suitable formal model that is able to handle smart home domain specific nature. This paper proposes a technique that uses reference nets to model and simulate a smart home which is sensitive, adaptive and responsive to elderly’s health, needs and preferences