[发明专利]程序开发辅助装置以及程序开发辅助方法

说明书

本发明提供程序开发辅助装置以及程序开发辅助方法，用于辅助由安全控制器执行的安全程序的开发的程序开发辅助装置包含：开发单元，其用于根据用户操作来开发安全程序；计算单元，其用于按照相对于输入计算不规则的值的函数，计算与开发的安全程序的数据对应的识别值；以及输出单元，其用于输出与安全程序相关的文档。输出单元将由计算单元计算的识别值赋予给文档的与安全程序相关的全部页面。

技术领域

本技术涉及用于辅助由安全控制器执行的安全程序的开发的程序开发辅助装置、程序开发辅助程序以及程序开发辅助方法。

背景技术

为了安全地使用在许多制造现场使用的机器，必须使用符合国际标准的安全设备(安全组件)。该安全设备的目的在于防止机器人等自动工作的装置威胁人的安全。这样的安全设备以执行安全程序的安全控制器为代表，包含检测人的存在或侵入的检测设备、受理紧急时的操作的输入设备、以及实际停止设备的输出设备等。

与这样的安全程序的开发相关联地，在日本特开2015-018553号公报中公开了如下结构：关于加工工厂中的控制系统以及安全系统，使用能够容易地集成到功能块图表编程环境的1个以上的状态机功能块。

当评价包含安全控制器在内的系统整体的功能安全时，表示安全程序的内容的文档非常重要。特别地，当将在个人计算机上等生成的安全程序传送给安全控制器之后，有时还进行直接变更在该安全控制器上执行的安全程序以及各种设定的操作(典型地，称为“在线编辑”等。)，从而也可能产生无法获得与个人计算机上的安全程序的匹配性的情况。此外，输出的文档本身也可能被篡改。因此，在功能安全的评价中，文档的处理特别需要慎重。

在上述日本特开2015-018553号公报中仅公开了：通过打印矩阵的表现来容易地将状态机器功能块(SMFB)所构成的功能文档化，但未考虑上述那样的课题。

这样，期望用于使与由安全控制器执行的安全程序相关的文档的处理严格化的结构。

发明内容

基于某个实施方式的用于辅助由安全控制器执行的安全程序的开发的程序开发辅助装置包含：开发单元，其用于根据用户操作来开发安全程序；计算单元，其用于按照相对于输入计算不规则的值的函数，计算与开发的安全程序的数据对应的识别值；以及输出单元，其用于输出与安全程序相关的文档。输出单元将由计算单元计算的识别值赋予给文档的与安全程序相关的全部页面。

也可以是，对于构成输出的文档的页面中的、与功能安全相关的页面，输出单元将由计算单元计算的识别值赋予给全部该页面。

也可以是，计算单元根据由开发单元生成的多个数据，分别计算第1识别值，并且根据多个第1识别值，计算赋予给文档的第2识别值。

也可以是，计算单元输出按照预先确定的生成多项式而计算的循环冗余校验码，作为识别值。

也可以是，输出单元将以下情况作为条件，输出文档，上述情况是指：根据程序开发辅助装置中保存的安全程序而计算的识别值、与根据由安全控制器执行的安全程序而计算的识别值相同。

根据某个实施方式，提供用于辅助由安全控制器执行的安全程序的开发的程序开发辅助程序。程序开发辅助程序使计算机执行如下步骤：根据用户操作来开发安全程序；按照相对于输入计算不规则的值的函数，计算与开发的安全程序的数据对应的识别值；以及输出与安全程序相关的文档。进行输出的步骤包含如下步骤：将计算的识别值赋予给文档的与安全程序相关的全部页面。

根据某个实施方式，提供程序开发辅助方法，其由装置执行，该装置用于辅助由安全控制器执行的安全程序的开发。程序开发辅助方法包含如下步骤：根据用户操作来开发安全程序；按照相对于输入计算不规则的值的函数，计算与开发的安全程序的数据对应的识别值；以及输出与安全程序相关的文档。进行输出的步骤包含如下步骤：将计算的识别值赋予给文档的与安全程序相关的全部页面。