Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments

Abstract

With the gradual popularization of Internet-of-Things (IoT) applications and the development of wireless networking technologies, the use of heterogeneous devices and runtime verification of task fulfillment with different constraints are required in real-world IoT scenarios. As far as IoT systems are concerned, most of them are built on centralized architectures, which reveal various assailable points in data security and privacy threats. Hence, this paper aims to investigate these issues by delegating the responsibility of a verification monitor from a centralized architecture to a decentralized manner using blockchain technology. We present a smart contract-based task management scheme to provide runtime verification of device behaviors and allows trustworthy access control to these devices. The business logic of the proposed system is specified by the smart contract, which automates all time-consuming processes cryptographically and correctly. The usability of the proposed solution is further demonstrated by implementing a prototype application in which the Hyperledger Fabric is utilized to implement the business logic for runtime verification and access control with one desktop and one Raspberry Pi. A comprehensive evaluation experiment is conducted, and the results indicate the effectiveness and efficiency of the proposed system.

6G Enabled Industrial Internet of Everything: Towards a Theoretical Framework

“…While applications are examined related to 6GIIoE ecosystem, there is much more significant potential for using smart service contracts (SSC), distributed ledgers, and other blockchain-related technologies. The research gaps in this domain are the following: (i) increasing the transaction rate per second; (ii) providing architectural means for IoE devices or sensors to utilize the relevant technologies, (iii) allowing secured ways to correct unintended errors in SSC; and (iv) clarification of hidden costs when using blockchains to allow objective comparisons with traditional alternatives [54] (p. 7).…”

A Data Verification System for CCTV Surveillance Cameras Using Blockchain Technology in Smart Cities

“…By using that protocol, the IoT environment can become efficient and stable. Heng et al [24] used the smart contract of Hyperledger Fabric for the task management of sensors. They used this feature of blockchains in the IoT environment to ensure the verification at runtime of sensors and actuators.…”

Smart Contract Centric Inference Engine For Intelligent Electric Vehicle Transportation System

“…We have used smart contracts as an inference engine to make decisions. Heng et al [32] used the smart contract for the run-time verification of sensing and actuating tasks. They also explain task management in the IoT environment.…”