一种基于SHA的信物融合系统自动建模与验证方法及系统
实质审查的生效
摘要
本发明公开了一种基于SHA的信物融合系统自动建模与验证方法及系统，包括：将物理环境建模成SHA元模型；根据元模型和设备位置信息表实例化环境模型；根据用户自定义的TAP规则生成控制器的SHA模型；生成可执行的系统模型并进行仿真；对仿真结果进行验证分析。本发明还开发了一个支持上述方法的系统。本发明的方法及系统，支持自动生成系统模型并进行仿真验证，直接向用户反馈规则验证结果，便于用户修改并制定安全的TAP规则。为信物融合系统验证中不确定环境的动态建模提供了一种有效的途径。
基本信息
专利标题 ：
一种基于SHA的信物融合系统自动建模与验证方法及系统
专利标题（英）：
暂无
公开（公告）号 ：
CN114356313A
申请号 ：
CN202111675956.8
公开（公告）日 ：
2022-04-15
申请日 ：
2021-12-31
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
陈小红杨佳佳
申请人 ：
华东师范大学
申请人地址 ：
上海市闵行区东川路500号
代理机构 ：
上海蓝迪专利商标事务所(普通合伙)
代理人 ：
徐筱梅
优先权 ：
CN202111675956.8
主分类号 ：
G06F8/35
IPC分类号 ：
G06F8/35 G06F30/20
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F8/00
软件工程设计
G06F8/30
创建或生成源代码
G06F8/35
模型驱动
法律状态
2022-05-03 ：
实质审查的生效
IPC(主分类) : G06F 8/35
申请日 : 20211231
申请日 : 20211231
2022-04-15 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
