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

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

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 a...

Full description

Bibliographic Details
Main Authors: Lei Hang, Do-Hyeun Kim
Format: Article
Language:English
Published: MDPI AG 2020-02-01
Series:Sensors
Subjects:
internet of things
task management
blockchain
smart contract
runtime verification
Online Access:https://www.mdpi.com/1424-8220/20/4/1207

Internet

https://www.mdpi.com/1424-8220/20/4/1207

Similar Items