首页> 中国专利> 一种基于SHA的信物融合系统自动建模与验证方法及系统

一种基于SHA的信物融合系统自动建模与验证方法及系统

摘要

本发明公开了一种基于SHA的信物融合系统自动建模与验证方法及系统,包括:将物理环境建模成SHA元模型;根据元模型和设备位置信息表实例化环境模型;根据用户自定义的TAP规则生成控制器的SHA模型;生成可执行的系统模型并进行仿真;对仿真结果进行验证分析。本发明还开发了一个支持上述方法的系统。本发明的方法及系统,支持自动生成系统模型并进行仿真验证,直接向用户反馈规则验证结果,便于用户修改并制定安全的TAP规则。为信物融合系统验证中不确定环境的动态建模提供了一种有效的途径。

著录项

  • 公开/公告号CN114356313A

    专利类型发明专利

  • 公开/公告日2022-04-15

    原文格式PDF

  • 申请/专利权人 华东师范大学;

    申请/专利号CN202111675956.8

  • 发明设计人 陈小红;杨佳佳;

    申请日2021-12-31

  • 分类号G06F8/35;G06F30/20;

  • 代理机构上海蓝迪专利商标事务所(普通合伙);

  • 代理人徐筱梅;张翔

  • 地址 200241 上海市闵行区东川路500号

  • 入库时间 2023-06-19 14:57:41

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2022-04-15

    公开

    发明专利申请公布

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号