A Smart Living Framework: Towards Analyzing Security in Smart Rooms

  • Walid Miloud DahmaneEmail author
  • Samir OuchaniEmail author
  • Hafida BouarfaEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11815)


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 different 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 \(\ldots \)), 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 verification tool Uppaal, where it gives us a satisfactory result for different scenarios.


Smart environment Indoor living Smart room IoT UPPAAL Simulation 


  1. 1.
    Korzun, D.G., Balandin, S.I., Gurtov, A.V.: Deployment of smart spaces in internet of things: overview of the design challenges. In: Balandin, S., Andreev, S., Koucheryavy, Y. (eds.) NEW2AN/ruSMART -2013. LNCS, vol. 8121, pp. 48–59. Springer, Heidelberg (2013). Scholar
  2. 2.
    Sfikas, G., Akasiadis, C., Spyrou, E.: Creating a smart room using an IoT approach, May 2016Google Scholar
  3. 3.
    Janssens, A., De Paepe, M.: Effect of moisture inertia models on the predicted indoor humidity in a room. In: Proceedings of the 26th AIVC Conference, January 2005Google Scholar
  4. 4.
    Tejani, D., Al-Kuwari, A., Potdar, V.: Energy conservation in a smart home, May 2011Google Scholar
  5. 5.
    Tang, K., Wang, Y., Liu, H., Sheng, Y., Wang, X., Wei, Z.: Design and implementation of push notification system based on the MQTT protocol. In: 2013 International Conference on Information Science and Computer Applications (ISCA 2013). Atlantis Press, October 2013Google Scholar
  6. 6.
    Uppaal (2019).
  7. 7.
    Ouchani, S.: Ensuring the functional correctness of IoT through formal modeling and verification. In: Abdelwahed, E.H., Bellatreche, L., Golfarelli, M., Méry, D., Ordonez, C. (eds.) MEDI 2018. LNCS, vol. 11163, pp. 401–417. Springer, Cham (2018). Scholar
  8. 8.
    Moreno-Salinas, D., Pascoal, A.M., Aranda, J.: Optimal sensor placement for multiple target positioning with range-only measurements in two-dimensional scenarios. Sensors 13(8), 10674–10710 (2013)CrossRefGoogle Scholar
  9. 9.
    Centenaro, M., Vangelista, L., Zanella, A., Zorzi, M.: Long-range communications in unlicensed bands: the rising stars in the IoT and smart city scenarios. IEEE Wirel. Commun. 23, 60–67 (2016)CrossRefGoogle Scholar
  10. 10.
    Sanchez, L., et al.: Smartsantander: IoT experimentation over a smart city testbed. Comput. Netw. 61, 217–238 (2014). Special issue on Future Internet Testbeds – Part ICrossRefGoogle Scholar
  11. 11.
    Zanella, A., Bui, N., Castellani, A., Vangelista, L., Zorzi, M.: Internet of things for smart cities. IEEE Internet Things J. 1(1), 22–32 (2014)CrossRefGoogle Scholar
  12. 12.
    Devasena, C.L.: IPv6 low power wireless personal area network (6LoWPAN) for networking internet of things (IoT) - analyzing its suitability for IoT. Indian J. Sci. Tech. 9, 30 (2016)Google Scholar
  13. 13.
    Andreev, S., Galinina, O., Pyattaev, A., Gerasimenko, M., Tirronen, T., Torsner, J., Sachs, J., Dohler, M., Koucheryavy, Y.: Understanding the IoT connectivity landscape: a contemporary M2M radio technology roadmap. IEEE Commun. Mag. 53(9), 32–40 (2015)CrossRefGoogle Scholar
  14. 14.
    Fafoutis, X., Elsts, A., Vafeas, A., Oikonomou, G., Piechocki, R.: On predicting the battery lifetime of IoT devices: experiences from the sphere deployments. In: Proceedings of the 7th International Workshop on Real-World Embedded Wireless Systems and Networks, RealWSN 2018, pp. 7–12. ACM, New York, NY, USA (2018)Google Scholar
  15. 15.
    Babar, S., Mahalle, P., Stango, A., Prasad, N., Prasad, R.: Proposed security model and threat taxonomy for the internet of things (IoT). In: Meghanathan, N., Boumerdassi, S., Chaki, N., Nagamalai, D. (eds.) CNSA 2010. CCIS, vol. 89, pp. 420–429. Springer, Heidelberg (2010). Scholar
  16. 16.
    Sehgal, A., Perelman, V., Kuryla, S., Schonwalder, J.: Management of resource constrained devices in the internet of things. IEEE Commun. Mag. 50(12), 144–149 (2012)CrossRefGoogle Scholar
  17. 17.
    Aazam, M., Huh, E.: Fog computing micro datacenter based dynamic resource estimation and pricing model for IoT. In: 2015 IEEE 29th International Conference on Advanced Information Networking and Applications, pp. 687–694, March 2015Google Scholar
  18. 18.
    Desai, P., Sheth, A., Anantharam, P.: Semantic gateway as a service architecture for IoT interoperability. In: 2015 IEEE International Conference on Mobile Services, pp. 313–319, June 2015Google Scholar
  19. 19.
    Kingatua, A.: IoT system tests: checking for failureGoogle Scholar
  20. 20.
    Chen, Y., Kunz, T.: Performance evaluation of IoT protocols under a constrained wireless access network. In: 2016 International Conference on Selected Topics in Mobile Wireless Networking (MoWNeT), pp. 1–7, April 2016Google Scholar
  21. 21.
    Xiao, G., Guo, J., Xu, L.D., Gong, Z.: User interoperability with heterogeneous iot devices through transformation. IEEE Trans. Industr. Inf. 10(2), 1486–1496 (2014)CrossRefGoogle Scholar
  22. 22.
  23. 23.
    Zhu, Q., Wang, R., Chen, Q., Liu, Y., Qin, W.: IoT gateway: bridgingwireless sensor networks into internet of things. In: 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, pp. 347–352, December 2010Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Computer Science DepartmentSaad Dahlab UniversityBlidaAlgeria
  2. 2.LINEACT, École d’Ingénieur CESIAix-en-ProvenceFrance

Personalised recommendations