[发明专利]一种安全程序检查方法和系统

权利要求书

1.一种安全程序自动检查方法，其特征在于，包括如下步骤：

安全方案分析步骤：通过设立的安全保护目的，对安全方案进行分析，得到安全程序保护的设备和被保护对象的类型和数量；

安全矩阵表制作步骤：将得到的所述安全程序保护的设备和被保护对象的类型和数量制作成安全矩阵表，并标记所述类型和数量相互之间的从属关系；

安全程序下载步骤：将安全程序下载到仿真检查工具中；

安全矩阵表导入步骤：将所述安全矩阵表导入所述仿真检查工具中；

安全程序自动检查步骤：使用所述仿真检查工具检查所述安全程序逻辑是否与所述安全矩阵表内容一致。

2.如权利要求1所述的方法，其特征在于，在所述安全程序自动检查步骤之后，还包括检查报告导出步骤：根据安全程序自动检查的检查结果，自动生成检查报告并导出所述检查报告。

3.如权利要求2所述的方法，其特征在于，所述安全保护目的，包括人身安全保障、设备安全保障、安全事故防范。

4.如权利要求3所述的方法，其特征在于，所述安全方案为为了实现人身安全保障、设备安全保障、安全事故防范安全保护目的而规划的举措。

5.如权利要求1所述的方法，其特征在于，所述安全程序自动检查步骤中，所述仿真检查工具对安全矩阵表表单的内容逐项检查。

6.一种计算机可读存取介质，其特征在于，所述计算机可读存储介质中存储有计算机程序，其中，在所述计算机程序运行时可执行如权利要求1至5任意一项所述的安全程序自动检查方法。

7.一种安全程序自动检查系统，其特征在于，包括安全方案分析模块、安全矩阵表制作模块、安全程序下载模块、仿真检查工具，所述安全方案分析模块、安全矩阵表制作模块和所述仿真检查工具依次信号连接，所述安全程序下载模块与所述仿真检查工具信号连接；

安全方案分析模块：用于通过设立的安全保护目的，对安全方案进行分析，得到安全程序保护的设备和被保护对象的类型和数量；

安全矩阵表制作模块：用于将得到的所述安全程序保护的设备和被保护对象的类型和数量制作成安全矩阵表，并标记所述类型和数量相互之间的从属关系；

安全程序下载模块：用于将安全程序下载到仿真检查工具中；

仿真检查工具：用于接收所述安全矩阵表制作模块制作的矩阵表，以及安全程序下载模块下载的安全程序，并自动检查所述安全程序逻辑是否与所述安全矩阵表内容一致。

8.如权利要求7所述的系统，其特征在于，还包括检查报告生成模块，所述检查报告生成模块连接所述仿真检查工具，用于接收所述仿真检查工具对安全程序自动检查的检查结果，自动生成检查报告并导出所述检查报告。