Automating Conflict Detection and Mitigation in Large-Scale IoT Systems

In this paper we examine the problem of conflict detection and mitigation across multiple independently designed IoT subsystems deployed in a shared environment. The desired behavior of the system is codified in terms of predefined "safety properties". We allow both the operational rules and safety properties to include time and temporal logic operations and detect their potential violation proactively via a "look ahead" mechanism. The problematic operational rules are then perturbed within the allowable range for mitigation. We show that our mitigation approach, based on intelligent combinatorial optimization, can resolve the conflicts via perturbation in 100% of the cases where such a resolution is feasible.