公开(公告)号：CN113778860A

公开(公告)日：2021-12-10

申请号：CN202110935077.8

申请日：2021-08-16

Applicant: 北京仿真中心

Inventor： 张连怡 ,  余立新 ,  李伟夫 ,  张晗 ,  李亚雯

IPC: G06F11/36

Abstract: 本发明公开了一种基于模型检测的系统运行时验证方法、系统和计算机设备，所述验证方法包括，进行代码插桩：预先进行目标系统的代码插桩以捕获事件；获取时序事件消息块：所述目标系统启动后，监听监控器自动机端口是否已打开，若已打开则所述目标系统立即通过插桩点捕获事件，生成时序事件消息块，并通过ZeroMQ发送至所述监控器自动机；生成检测结果：所述监控器自动机接收所述时序事件消息块进行时序检测同时生成检测日志，并通过ZeroMQ发送检测结果至所述目标系统。

公开(公告)号：CN103761388A

公开(公告)日：2014-04-30

申请号：CN201410024830.8

申请日：2014-01-20

Applicant: 北京仿真中心

Inventor： 李志平 ,  卿杜政 ,  杨凯 ,  徐筠 ,  余立新

IPC: G06F17/50

Abstract: 本发明涉及一种基于HLA通用化的异构仿真系统互联方法，该互联方法包括如下步骤：1）公共数据结构定义模块对各仿真系统信息交互的公共数据结构定义；2）接口描述模块对仿真系统输入/输出接口描述；3）SOM/FOM生成模块完成符合HLA标准的SOM、FOM文件自动生成；4）仿真配置模块进行仿真系统配置；5）RTI服务模块对HLA仿真系统进行管理和通信。所述互联方法能解决异构仿真系统之间互联开发难度大、周期长、维护困难等问题，提高现有仿真资源的可重用。