Abstract:
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 the internet of things or wireless sensors network and for data storage, it is the cloud. These tiny computers with heterogeneous characteristics are very helpful in making the 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 sensors for safety, glass break detector sensor for security, and motion sensor for energy efficiency. In addition, the working of all sensors is also formalized for its correctness. This paper doesn't include any physical experimentations, we will continue the idea of physically testing the IoTs in future work.
Keywords:
Safety
,
formalization
,
ambient intelligence
,
IoTs
,
Wireless Sensors