Formal Modeling of Smart Home Monitoring System

In this paper, we describe smart sensors, actors, user, alarm system, smart appliances of our proposed smart home model. We also describe the main problems of the smart home which are safety, security and energy saving. In our smart home model wireless sensor, actors, smart appliances, and user communicate with each other and with the central system. Sensors collect data about abnormal home situations or events and send this data to the central system. The system further communicates with the user and events are handled by the central system, user and smart actors depending upon the nature of the event. Actors perform necessary functions on the basis of information provided by the sensor. Sensors are installed at different locations in the home. The components of our proposed smart home model are implemented by developing a formal specification of components using VDM-SL. VDM-SL is a formal specification language used for analysis of complex systems. The developed specification is validated, verified and analysed using VDM-SL Toolbox.