Authors: Rajarajeswari Subbaraj; Neelanarayanan Venkatraman
Addresses: Vellore Institute of Technology, Vandalur-Kelambakkam Road, Chennai, Tamilnadu, India ' Vellore Institute of Technology, Vandalur-Kelambakkam Road, Chennai, Tamilnadu, India
Abstract: The home automation controls the electronic devices remotely and automatically with the help of context aware behaviour. Context awareness is the process where data from various sensors and input from user or user action must be interpreted and corresponding commands to actuators must be generated. This context aware automation and decision support process is done with the help of adaptive rules which is defined for the automatic behaviour of devices in the smart home environment. The consistent behaviour of the devices in the smart environment will capture the customer satisfaction. This work describes the process of checking the consistent behaviour of the context aware system in smart home environment using formal modelling and verification method. We have discussed a mechanism to check the consistent behaviour of the adaptive mechanism of smart home environment. The result ensures the consistent behaviour of the context aware system in the smart environment.
Keywords: smart home; home automation; context awareness; consistency; formal modelling; sustainability.
International Journal of Sustainable Society, 2018 Vol.10 No.4, pp.300 - 312
Received: 16 Nov 2017
Accepted: 11 Sep 2018
Published online: 03 Apr 2019 *