A Formal Model for Smart Living Room

  • Umber Noureen Abbas University of Sahiwal, Sahiwal
  • Umair Waqas National University of Sciences & Technology, Islamabad https://orcid.org/0000-0002-1380-8290
  • Dr. Shafiq Hussain University of Sahiwal, Sahiwal
  • Dr. Muhammad Amin Abid University of Sahiwal, Sahiwal
Keywords: ambient intelligence, IOTs, Wireless Sensors, Safety Systems, Formalization


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.

How to Cite
Noureen Abbas, U., Waqas, U., Hussain, D. S., & Abid, D. M. A. (2022). A Formal Model for Smart Living Room. Lahore Garrison University Research Journal of Computer Science and Information Technology, 6(03), 27-34. https://doi.org/10.54692/lgurjcsit.2022.0603277