A Smart Living Framework: Towards Analyzing Security in Smart Rooms

Indoor environments play a main role on people living, work,
social life, and health. Especially, recent statistics show that people who are often most susceptible to the adverse health effects tend to spend more time indoors. To overcome these issues, modern rooms are well
equipped with di erent kind of connected objects (IoT) in order to facilitate
the life of inhabitants and to manage better the indoor environment
by automatically controlling the indoors problems (humidity, temperature,
noise, light …) with respect to the experts recommendations and
inhabitants hopes. So, the quality of indoor living depends mainly on
the environments properties, their precise measurements through IoT,
and how safely manage and control them. In this context, we propose
a smart living framework covering a global architecture of smart rooms
and their related components (sensors, actuator, server . . . ), and also
a management system for a secure communication network respecting
the existing safety and security standards. Further, we present the appropriate
semantics for each part of the framework in the form of state
machines. Further, we ensure the functional correctness of the proposed
framework by implementing the developed state machines in the validation
and veri cation tool Uppaal, where it gives us a satisfactory result
for di erent scenarios.