Controlling behavior of an internet of things (IoT) automation system by identifying policy violations

    公开(公告)号:US11102250B2

    公开(公告)日:2021-08-24

    申请号:US16285395

    申请日:2019-02-26

    Abstract: Identifying policy violations for controlling behavior of an Internet of Things (IoT) automation system is provided. Traditional systems and methods provide for controlling IoT based automation system based upon a static analysis of a system model and rules. The embodiments of the proposed disclosure provide for controlling behavior of the IoT automation system by identifying one or more policy violations, wherein the one or more policy violations are identified by generating a plurality of models representing behavior, relationships and functions of one or more sub-systems corresponding to the IoT automation system; extracting a set of modelled rules; constructing, using each of the plurality of models and the set of modelled rules, an integrated model; and identifying, from the integrated model, the one or more policy violations via a Model Verifier Component for controlling behavior of the IoT automation system.

Patent Agency Ranking