首页> 外国专利> CONTROLLING BEHAVIOR OF AN INTERNET OF THINGS (IOT) AUTOMATION SYSTEM BY IDENTIFYING POLICY VIOLATIONS CROSS-REFERENCE TO RELATED APPLICATIONS AND PRIORITY

CONTROLLING BEHAVIOR OF AN INTERNET OF THINGS (IOT) AUTOMATION SYSTEM BY IDENTIFYING POLICY VIOLATIONS CROSS-REFERENCE TO RELATED APPLICATIONS AND PRIORITY

机译:通过识别策略违规来控制事物(IOT)自动化系统的互联网行为交叉引用相关应用程序和优先级

摘要

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.
机译:提供了用于控制物联网(IoT)自动化系统行为的策略违规。传统的系统和方法可基于对系统模型和规则的静态分析来控制基于IoT的自动化系统。所提出的公开的实施例通过识别一个或多个策略违规来提供对IoT自动化系统的行为的控制,其中通过产生表示一个或多个子子系统的行为,关系和功能的多个模型来识别一个或多个策略违规。与物联网自动化系统相对应的系统;提取一组建模规则;使用多个模型中的每个模型和一组建模规则,构建集成模型;并通过模型验证程序组件从集成模型中识别一个或多个违反策略,以控制IoT自动化系统的行为。

著录项

相似文献

  • 专利
  • 外文文献
  • 中文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号