[发明专利]评价系统和评价方法

权利要求书

1.一种评价系统，该评价系统评价安全程序的功能安全，所述安全程序用于在预定的条件成立时使对象设备以确保安全的方式动作，其中，

所述评价系统包含：

处理执行单元，其用于根据1个或多个输入信号执行依照所述安全程序的运算，从而决定对应的1个或多个输出信号的值；

设定单元，其受理评价条件，该评价条件包含评价对象的输入信号、评价对象的输出信号、以及应与所述评价对象的输入信号的值的变化对应地输出的所述评价对象的输出信号的值即输出期待值；

第1判断单元，其用于使所述评价对象的输入信号的值从作为初始值的第1输入值变化成第2输入值，并且判断由所述处理执行单元决定的所述评价对象的输出信号的第1输出值是否与所述输出期待值一致；

第2判断单元，其用于使所述评价对象的输入信号的值从所述第2输入值返回到所述第1输入值，并且判断由所述处理执行单元决定的所述评价对象的输出信号的第2输出值是否与所述第1输出值一致；以及

输出单元，其用于与所述评价对象的输入信号相关联地输出所述第1判断单元和所述第2判断单元中的判断结果，

所述评价条件包含第1类别和第2类别中的任意类别的设定，其中，所述第1类别表示在所述输入信号的值从所述第2输入值返回到所述第1输入值时使对应的输出信号的输出值联动地返回到原来的值，所述第2类别表示直到预定的复位条件成立为止不使输出信号的输出值返回到原来的值，

在被设定了所述第1类别的情况下，所述第2判断单元在所述评价对象的输出信号的第2输出值与所述第1输出值不同时判断为正常，

在被设定了所述第2类别的情况下，所述第2判断单元在所述评价对象的输出信号的第2输出值与所述第1输出值一致时判断为正常。

2.根据权利要求1所述的评价系统，其中，

所述评价条件包含复位信号的设定，作为所述第2类别的所述预定的复位条件，

所述评价系统还具有第3判断单元，该第3判断单元用于在所述第2判断单元进行判断之后使所述复位信号有效，并且判断由所述处理执行单元决定的所述评价对象的输出信号的第3输出值是否与所述第1输出值一致。

3.根据权利要求1或2所述的评价系统，其中，

所述评价系统还具有第4判断单元，该第4判断单元用于在所述第1判断单元进行判断之前将所述评价对象的输入信号的值设定为所述第1输入值，并且判断由所述处理执行单元决定的所述评价对象的输出信号的第4输出值是否与初始值一致。

4.根据权利要求1或2所述的评价系统，其中，

所述作为初始值的第1输入值使用与如下的存储器的状态下示出的值不同的值，该存储器的状态是与对执行所述安全程序的安全控制器供给的电源丧失时相同的状态。

5.根据权利要求1或2所述的评价系统，其中，

所述输出单元将确定由哪个判断单元判断为异常的信息包含在所述判断结果中。

6.根据权利要求1或2所述的评价系统，其中，

所述评价条件包含多个由所述评价对象的输入信号、所述评价对象的输出信号以及所述输出期待值构成的组，针对各组执行所述判断单元的判断，

所述输出单元将确定针对哪个组的输入信号判断为异常的信息包含在所述判断结果中。

7.根据权利要求1或2所述的评价系统，其中，

所述评价条件包含由所述评价对象的输入信号、多个所述评价对象的输出信号以及分别与多个所述评价对象对应的多个所述输出期待值构成的组，针对多个所述输出期待值分别执行所述判断单元的判断，

所述输出单元将确定针对哪个输出信号判断为异常的信息包含在所述判断结果中。

8.根据权利要求1或2所述的评价系统，其中，

所述输出单元将与判断为异常的判断单元对应的注释包含在所述判断结果中。

9.一种评价方法，该评价方法评价安全程序的功能安全，所述安全程序用于在预定的条件成立时使对象设备以确保安全的方式动作，其中，

所述评价方法包含如下步骤：

处理执行步骤，根据1个或多个输入信号执行依照所述安全程序的运算，从而决定对应的1个或多个输出信号的值；

设定步骤，受理评价条件，该评价条件包含评价对象的输入信号、评价对象的输出信号、以及应与所述评价对象的输入信号的值的变化对应地输出的所述评价对象的输出信号的值即输出期待值；

第1判断步骤，使所述评价对象的输入信号的值从作为初始值的第1输入值变化成第2输入值，并且判断通过依照所述安全程序的运算而决定的所述评价对象的输出信号的第1输出值是否与所述输出期待值一致；

第2判断步骤，使所述评价对象的输入信号的值从所述第2输入值返回到所述第1输入值，并且判断通过依照所述安全程序的运算而决定的所述评价对象的输出信号的第2输出值是否与所述第1输出值一致；以及

输出步骤，与所述评价对象的输入信号相关联地输出所述第1判断步骤和所述第2判断步骤中的判断结果，

所述评价条件包含第1类别和第2类别中的任意类别的设定，其中，所述第1类别表示在所述输入信号的值从所述第2输入值返回到所述第1输入值时使对应的输出信号的输出值联动地返回到原来的值，所述第2类别表示直到预定的复位条件成立为止不使输出信号的输出值返回到原来的值，

所述第2判断步骤包含：

在被设定了所述第1类别的情况下，在所述评价对象的输出信号的第2输出值与所述第1输出值一致时判断为异常，

在被设定了所述第2类别的情况下，在所述评价对象的输出信号的第2输出值与所述第1输出值不同时判断为异常。