Author:
Pradeep Pavana,Kant Krishna
Abstract
Internet of Things (IoT) systems are becoming ubiquitous in various cyber–physical infrastructures, including buildings, vehicular traffic, goods transport and delivery, manufacturing, health care, urban farming, etc. Often multiple such IoT subsystems are deployed in the same physical area and designed, deployed, maintained, and perhaps even operated by different vendors or organizations (or “parties”). The collective operational behavior of multiple IoT subsystems can be characterized via (1) a set of operational rules and required safety properties and (2) a collection of IoT-based services or applications that interact with one another and share concurrent access to the devices. In both cases, this collective behavior often leads to situations where their operation may conflict, and the conflict resolution becomes complex due to lack of visibility into or understanding of the cross-subsystem interactions and inability to do cross-subsystem actuations. This article addresses the fundamental problem of detecting and resolving safety property violations. We detail the inherent complexities of the problem, survey the work already performed, and layout the future challenges. We also highlight the significance of detecting/resolving conflicts proactively, i.e., dynamically but with a look-ahead into the future based on the context.
Reference104 articles.
1. Strategy Analytics. IoT Strategieswww.strategyanalytics.com
2. The Internet of Things—How the Next Evolution of the Internet Is Changing Everythingwww.cisco.com
3. A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems
4. A conflicts’ classification for IoT-based services: a comparative survey
5. The Next Wave in Lighting and the Internet of Thingswww.forbes.com
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献