公开(公告)号：CN115081032B

公开(公告)日：2025-04-04

申请号：CN202210688391.5

申请日：2022-06-17

Applicant: 北京广利核系统工程有限公司

Inventor： 李玉杰 ,  刘景宾 ,  王晓燕 ,  杜乔瑞 ,  武方杰 ,  裴红伟 ,  黄君龙

IPC: G06F21/71 ,  G06F21/85 ,  G06F16/2458

Abstract: 本发明公开了一种闭锁报警实现系统和逻辑架构，系统包括：工程师站、主控站和显示设备，其中：工程师站用于基于形式化开发方法得到闭锁报警算法功能模块，并编译生成算法组态文件，将算法组态文件分别下装到主控站和显示设备；主控站用于按照固定周期运行所述组态文件，并与所述工程师站和所述显示设备通信交互数据；显示设备用于显示报警信息和基于用户输入消除报警。上述方案中，闭锁报警基于形式化开发方法实现，可进行图形化的闭锁报警算法的逻辑架构搭建，可相对于传统开发方法，具有更高的逻辑精确性，这种精确性为开发人员与用户对需求的一致性理解及需求的正确执行提供了更大的可能性，且支持在线监控，满足企业的应用需求。

公开(公告)号：CN115081032A

公开(公告)日：2022-09-20

申请号：CN202210688391.5

申请日：2022-06-17

Applicant: 北京广利核系统工程有限公司

Inventor： 李玉杰 ,  刘景宾 ,  王晓燕 ,  杜乔瑞 ,  武方杰 ,  裴红伟 ,  黄君龙

IPC: G06F21/71 ,  G06F21/85 ,  G06F16/2458

Abstract: 本发明公开了一种闭锁报警实现系统和逻辑架构，系统包括：工程师站、主控站和显示设备，其中：工程师站用于基于形式化开发方法得到闭锁报警算法功能模块，并编译生成算法组态文件，将算法组态文件分别下装到主控站和显示设备；主控站用于按照固定周期运行所述组态文件，并与所述工程师站和所述显示设备通信交互数据；显示设备用于显示报警信息和基于用户输入消除报警。上述方案中，闭锁报警基于形式化开发方法实现，可进行图形化的闭锁报警算法的逻辑架构搭建，可相对于传统开发方法，具有更高的逻辑精确性，这种精确性为开发人员与用户对需求的一致性理解及需求的正确执行提供了更大的可能性，且支持在线监控，满足企业的应用需求。