Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Fisher information matrix.
- 2.
LowPower Wide Area Networks.
- 3.
Constrained Application Protocol.
- 4.
IPv6 Low power Wireless Personal Area Networks.
References
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). https://doi.org/10.1007/978-3-642-40316-3_5
Sfikas, G., Akasiadis, C., Spyrou, E.: Creating a smart room using an IoT approach, May 2016
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 2005
Tejani, D., Al-Kuwari, A., Potdar, V.: Energy conservation in a smart home, May 2011
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 2013
Uppaal (2019). http://www.uppaal.org/
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). https://doi.org/10.1007/978-3-030-00856-7_27
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)
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)
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 I
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)
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)
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)
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)
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). https://doi.org/10.1007/978-3-642-14478-3_42
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)
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 2015
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 2015
Kingatua, A.: IoT system tests: checking for failure
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 2016
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)
IoT sensors (2019). https://fiware-tutorials.readthedocs.io/en/latest/iot-sensors/
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 2010
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Miloud Dahmane, W., Ouchani, S., Bouarfa, H. (2019). A Smart Living Framework: Towards Analyzing Security in Smart Rooms. In: Schewe, KD., Singh, N. (eds) Model and Data Engineering. MEDI 2019. Lecture Notes in Computer Science(), vol 11815. Springer, Cham. https://doi.org/10.1007/978-3-030-32065-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-030-32065-2_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32064-5
Online ISBN: 978-3-030-32065-2
eBook Packages: Computer ScienceComputer Science (R0)