English
Related papers

Related papers: Tool Supported Analysis of IoT

200 papers

The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations. Suitable…

Programming Languages · Computer Science 2023-06-22 Chiara Bodei , Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta

The Internet of Things (IoT) is smartifying our everyday life. Our starting point is IoT-LySa, a calculus for describing IoT systems, and its static analysis, which will be presented at Coordination 2016. We extend the mentioned proposal in…

Programming Languages · Computer Science 2016-08-12 Chiara Bodei , Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta

Internet of Things (IoT) technologies are the foundation of a fully connected world. Currently, IoT devices (or nodes) primarily use dedicated sensors to sense and collect data at large scales, and then transmit the data to target nodes or…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-11-07 Zhaoxin Chang , Fusang Zhang , Daqing Zhang

We describe a framework and tool specification that represents a step towards cybersecurity testing and monitoring of IoT ecosystems. We begin with challenges from a previous paper and discuss an integrated approach and tools to enable…

The Internet of Things (IoT) network integrating billions of smart physical devices embedded with sensors, software, and communication technologies is a critical and rapidly expanding component of our modern world. The IoT ecosystem…

Machine Learning · Computer Science 2024-07-16 Shentong Mo , Russ Salakhutdinov , Louis-Philippe Morency , Paul Pu Liang

Internet of Things (IoT) has been rapidly growing in the past few years in all life disciplines. IoT provides automation and smart control to its users in different domains such as home automation, healthcare systems, automotive, and many…

Cryptography and Security · Computer Science 2022-03-04 Lobna Abuserrieh , Manar H. Alalfi

Developing Internet of Things (IoT) systems has to cope with several challenges mainly because of the heterogeneity of the involved sub-systems and components. With the aim of conceiving languages and tools supporting the development of IoT…

Software Engineering · Computer Science 2020-11-03 Felicien Ihirwe , Davide Di Ruscio , Silvia Mazzini , Pierluigi Pierini , Alfonso Pierantonio

IoT systems complexity and susceptibility to failures pose significant challenges in ensuring their reliable operation Failures can be internally generated or caused by external factors impacting both the systems correctness and its…

The Internet of Things (IoT) envisions a world-wide, interconnected network of smart physical entities. These physical entities generate a large amount of data in operation and as the IoT gains momentum in terms of deployment, the combined…

Databases · Computer Science 2018-07-04 Eugene Siow , Thanassis Tiropanis , Wendy Hall

The rapid deployment of Internet of Things (IoT) applications leads to massive data that need to be processed. These IoT applications have specific communication requirements on latency and bandwidth, and present new features on their…

Networking and Internet Architecture · Computer Science 2021-04-27 Di Wu , Xiaofeng Xie , Xiang Ni , Bin Fu , Hanhui Deng , Haibo Zeng , Zhijin Qin

Internet of Things (IoT) systems continuously collect a large amount of data from heterogeneous "smart objects" through standardised service interfaces. A key challenge is how to use these data and relevant event logs to construct…

Software Engineering · Computer Science 2018-12-17 Ahmed Abdullah , Heinz W. Schmidt , Maria Spichkova , Huai Liu

Internet of Things (IoT) applications combine sensing, wireless communication, intelligence, and actuation, enabling the interaction among heterogeneous devices that collect and process considerable amounts of data. However, the…

With the advent of Internet of Things (IoT) and the increasing use of application-based processors, security infrastructure needs to be examined on some widely-used IoT hardware architectures. Applications in today's world are moving…

Cryptography and Security · Computer Science 2018-12-07 Praneet Singh , Kedar Deshpande

The continuous testing of small changes to systems has proven to be useful and is widely adopted in the development of software systems. For this, software is tested in environments that are as close as possible to the production…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-20 Jossekin Beilharz , Philipp Wiesner , Arne Boockmeyer , Lukas Pirl , Dirk Friedenberger , Florian Brokhausen , Ilja Behnke , Andreas Polze , Lauritz Thamsen

Deployment of Internet of Things (IoT) devices and Data Fusion techniques have gained popularity in public and government domains. This usually requires capturing and consolidating data from multiple sources. As datasets do not necessarily…

Signal Processing · Electrical Eng. & Systems 2021-06-04 Piyush K. Sharma , Mark Dennison , Adrienne Raglin

Energy efficiency has emerged as a defining constraint in the evolution of sustainable Internet of Things (IoT) networks. This work moves beyond simulation-based or device-centric studies to deliver measurement-driven, network-level smart…

Networking and Internet Architecture · Computer Science 2025-10-14 Mohammud J. Bocus , Senhui Qiu , Robert J. Piechocki , Kerstin Eder

The Internet of Things (IoT) is expected to require more effective and efficient wireless communications than ever before. For this reason, techniques such as spectrum sharing, dynamic spectrum access, extraction of signal intelligence and…

Networking and Internet Architecture · Computer Science 2020-09-08 Jithin Jagannath , Nicholas Polosky , Anu Jagannath , Francesco Restuccia , Tommaso Melodia

Exploiting big data knowledge on small devices will pave the way for building truly cognitive Internet of Things (IoT) systems. Although machine learning has led to great advancements for IoT-based data analytics, there remains a huge…

Networking and Internet Architecture · Computer Science 2020-01-29 Benjamin Sliwa , Nico Piatkowski , Christian Wietfeld

The rapid development of Internet of Things (IoT) technology has transformed people's way of life and has a profound impact on both production and daily activities. However, with the rapid advancement of IoT technology, the security of IoT…

Cryptography and Security · Computer Science 2025-05-13 Mingfei Zeng , Ming Xie , Xixi Zheng , Chunhai Li , Chuan Zhang , Liehuang Zhu

Modern Internet of Things (IoT) environments are monitored via a large number of IoT enabled sensing devices, with the data acquisition and processing infrastructure setting restrictions in terms of computational power and energy resources.…

‹ Prev 1 2 3 10 Next ›