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

说明书

本发明公开了一种安全程序自动检查方法，包括如下步骤：安全方案分析步骤：通过设立的安全保护目的，对安全方案进行分析，得到安全程序保护的设备和被保护对象的类型和数量；安全矩阵表制作步骤：将得到的安全程序保护的设备和被保护对象的类型和数量制作成安全矩阵表，并标记类型和数量相互之间的从属关系；安全程序下载步骤：将安全程序下载到仿真检查工具中；安全矩阵表导入步骤：将安全矩阵表导入仿真检查工具中；安全程序自动检查步骤：使用所真检查工具检查安全程序逻辑是否与安全矩阵表内容一致。本发明还提供一种安全程序自动检查系统。本发明提供的安全程序自动检查方法和系统，可以提高安全程序检查效率，并提高检查验证的准确性。

技术领域

本发明涉及工业设备的安全控制领域，尤其涉及一种安全程序检查方法和系统。

背景技术

随着工业自动化的日益成熟，现代化的工厂已经改变了以前设备简陋、功能单一、安全缺乏的情况。现代化的工厂提供了更多的安全保障，如急停按钮、安全门锁等，安全系统越来越多地应用到我们的自动化生产设备和生产线上。

安全程序由PLC工程师根据需要在工业生产控制中实现安全保障的目的制作的程序，是自动化生成设备和生产线实现安全控制的重要程序，用来在出现故障时实现安全保护的功能，包括对人身安全的保护和对设备安全的保护。安全程序对于生产设备实现安全保障具有重要的作用。为了保证安全程序正确，需对其进行检查验证。

现有对安全程序的检查验证方法，需要将安全程序装入到设备中，并通过按下急停按钮，查看相关信号的通断情况来判断安全程序是否正确。现有对安全程序检查验证的方法，需要所有设备均完成安全程序安装才可以进行检查验证，同时需人工操作，效率低，并且容易遗漏检查验证项，存在安全隐患。

发明内容

针对现有安全程序检查验证过程中存在的问题，本发明实施例提供一种安全程序自动检查方法和系统，以提高安全程序检查效率，并提高检查验证的准确性。

本发明实施例提供的一种安全程序自动检查方法，包括如下步骤：

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

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

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

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

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

本发明提供的安全程序自动检查方法，通过预先对安全方案进行分析，建立安全矩阵表，将安全程序和安全矩阵表导入到仿真检查工具中进行安全仿真检查。通过检查安全程序的逻辑与安全矩阵表中的内容是否一致，当安全程序的逻辑与安全矩阵表中的内容一致时，判断安全程序时准确的；当安全程序的逻辑与安全矩阵表中的内容不一致时，可以输出检查结果，供工程师根据检查结果对安全程序进行修改。本发明提供的安全程序自动检查方法，只需要将安全程序和安全矩阵表导入到仿真检查工具中检查，改进了把安全程序安装到设备中才能进行检查的传统方法，在对安全程序的检查过程中，不需要人工操作，提高了安全程序检查的准确性和效率。同时，不需要在所有设备上都安装了安全程序后才能进行检查，进一步提高了检查的效率。

优选地，在所述安全程序自动检查步骤之后，还包括检查报告导出步骤：根据安全程序自动检查的检查结果，自动生成检查报告并导出所述检查报告。

其中，安全保护目的，包括人身安全保障、设备安全保障、安全事故防范。安全方案为为了实现人身安全保障、设备安全保障、安全事故防范安全保护目的而规划的举措。