Abstract
The Internet of Things (IoT) enables sophisticated smart technologies by analyzing various sensor data. Complexity of IoT devices is increasing rapidly as it getting intertwined in our daily lives with the usage of smart sensors, actuators, and other smart devices. This interconnected of smart devices often produces very complex datasets which enable multimodal services. Multimodality enables applications to combine and analyze the data of multiple literacies within one medium. Enabling an effective multimodal IoT network demands efficient data representation of various sensing and actuating devices. This work is focused on profiling the smart devices, i.e., resource description. It provides the device description, categorization of its properties, capabilities, and functionalities so that a suitable resource can be discovered effectively. A formal model of IoT has been presented to describe the resources with the support of multimodality. The model is described through the Event-B language, and the Rodin platform is used to find the correctness of the model.
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
References
Bytes A, Adepu S, Zhou J (2019) Towards semantic sensitive feature profiling of IoT devices. IEEE Internet Things J 6(5):8056–8064
Nieto A, Rios R (2019) Cybersecurity profiles based on human-centric IoT devices. Human-centr Comput Inf Sci 9(1):1–23. https://doi.org/10.1186/s13673-019-0200-y
Han SN et al (2014) DPWSim: a simulation toolkit for IoT applications using devices profile for web services. In: IEEE World Forum on Internet of Things (WF-IoT), Seoul, pp 544–547
Devices Profile for Web Services Version 1.1 (2009) OASIS, OASIS Standard. http://docs.oasis-open.org/wsdd/ns/dpws/2009/01/
Lahat D, Adali T, Jutten C (2015) Multimodal data fusion: an overview of methods, challenges, and prospects. Proc IEEE 103(9):1449–1477
Rahman H, Rahmani R, Kanter T (2017) Multi-modal context-aware reasoNer (CAN) at the Edge of IoT. In: Procedia Computer Science, vol 109, Pap 335–342 (2017). ISSN 1877–0509
Khaled AE, Helal A, Lindquist W, Lee C (2018) IoT-DDL-Device Description Language for the “T" in IoT. IEEE Access 6:24048–24063
Murturi I, Avasalcai C, Tsigkanos C, Dustdar S (2019) Edge-to-Edge mq using Metadata Replication. In: 2019 IEEE 3rd international conference on fog and edge computing (ICFEC), Larnaca, Cyprus, pp 1–6
Gomes P, Cavalcante E, Batista T, Taconet C, Conan D, Chabridon S, Delicato FC, Pires PF (2019) A semantic-based discovery service for the Internet of Things. J Internet Serv Appl 10(1):1–14. https://doi.org/10.1186/s13174-019-0109-8
Caturano F, Jiménez J, Romano SP (2019) Automated discovery of CoAP-enabled IoT devices. In: 2019 eleventh international conference on ubiquitous and future networks (ICUFN), Zagreb, Croatia, pp 396–401
Kang R, Guo A, Laput G, Li Y, Chen XA (2019) Minuet: multimodal interaction with an internet of things. In: Symposium on spatial user interaction, pp 1–10
Wai AAP, Dajiang H, Huat NS (2018) IoT-enabled multimodal sensing headwear system. In: 2018 IEEE 4th world forum on internet of things (WF-IoT). IEEE, pp 286–290
Sheth A, Anantharam P, Thirunarayan K (2014) Applications of multimodal physical (IoT), cyber and social data for reliable and actionable insights. In: 10th IEEE international conference on collaborative computing: networking, applications and worksharing. IEEE, pp 489–494
Almeida N, Teixeira A, Silva S, Ketsmur M (2019) The AM4I architecture and framework for multimodal interaction and its application to smart environments. Sensors 19(11):2587
Pattar S, Buyya R, Venugopal KR, Iyengar SS, Patnaik LM (2018) Searching for the IoT resources: fundamentals, requirements, comprehensive review, and future directions. In: IEEE Communications Surveys & Tutorials, vol 20, no 3, pp 2101–2132, thirdquarter 2018
Chaudhuri A, Banerjee S, Sarkar A (2018) Behavioral analysis of service oriented systems using event-B. In: IFIP international conference on computer information systems and industrial management. Springer, Cham, pp 117–129
Abrial JR (2010) Modeling in event-B: system and software engineering, 1st edn. Cambridge University Press, New York
Bodell M, Dahl DA, Kliche I, Larson J, Porter B (2012) Multimodal architecture and interfaces, W3C. 2012. https://www.w3.org/TR/mmi-arch/, Accessed 4 March 2019
Datta SK, Da Costa RPF, Bonnet C (2015) Resource discovery in Internet of Things: current trends and future standardization aspects. In: 2015 IEEE 2nd world forum on internet of things (WF-IoT), Milan, 2015, pp 542–547. https://en.wikipedia.org/w/index.php?title=Device_Descriptio_Language&oldid=801765885
Bormann C, Mehmet E, Ari K (2014) Terminology for constrained-node networks. In: Internet Engineering Task Force (IETF), Fremont, CA, USA, pp 2070–1721
Bodkhe U, Tanwar S (2020) Secure data dissemination techniques for IoT applications: research challenges and opportunities. Practice and Experience, Software
Menychtas A, Kyriazis D, Kousiouris G, Varvarigou T (2013) An IoT enabled point system for end-to-end multi-modal transportation optimization. In: 2013 5th IEEE international conference on broadband network and multimedia technology, Guilin, pp 201–205
De S, Barnaghi P, Bauer M, Meissner S (2011) Service modelling for the Internet of Things. In: 2011 Federated conference on computer science and information systems (FedCSIS), Szczecin, 2011, pp 949–955
Kim S-M, Choi H-S, Rhee WS (2015) IoT home gateway for auto-configuration and management of MQTT devices, pp 12–17
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Rath, C.K., Mandal, A.K., Sarkar, A. (2022). An Event-B based Device Description Model in IoT with the Support of Multimodal System. In: Chaki, R., Chaki, N., Cortesi, A., Saeed, K. (eds) Advanced Computing and Systems for Security: Volume 13. Lecture Notes in Networks and Systems, vol 241. Springer, Singapore. https://doi.org/10.1007/978-981-16-4287-6_1
Download citation
DOI: https://doi.org/10.1007/978-981-16-4287-6_1
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-16-4286-9
Online ISBN: 978-981-16-4287-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)