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

摘要

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