A Formal Model for Smart Living Room

we are living in an era full of technology and the most powerful feature behind this technology is the communication between two or more things. We achieved globalization with the power of digital computers and their ability to communicate. The next shape of computers for interactive remote processing is internet of things or wireless sensors network and for data storage it is cloud. These tiny computers with heterogeneous characteristics are very helpful in making environment smart and interactive in different ways.  In this paper, we are proposing an Ambient Intelligence architecture for safety and energy efficiency using sensors, further we are formalizing the architecture for its accuracy and reliability. The three major sensors are smoke sensor for safety, glass break detector sensor for security, motion sensor for energy efficiency. In addition, the working of all sensors is also formalized for its correctness.