[发明专利]验证装置

权利要求书

1.一种验证装置，是车载控制装置的验证装置，该车载控制装置包括：

传感器部；

记录了车载设备控制用的当前程序的程序记录部；以及

输入由所述传感器部输出的信号，基于所述信号执行从所述程序记录部读出的所述当前程序，并将处理结果输出到车载设备的第一程序处理部，

所述验证装置的特征在于，包括：

输入由所述传感器部输出的所述信号，基于所述信号执行与所述当前程序相同的程序，并输出处理结果的第二程序处理部；

输入由所述传感器部输出的所述信号，基于所述信号执行对所述当前程序进行了规格变更后的新程序，并输出处理结果的第三程序处理部；以及

将所述第三程序处理部的输出中的除受所述规格变更影响的输出之外的第一输出部分与所述第二程序处理部的输出中的对应于所述第一输出部分的第二输出部分进行比较，并判定同一性的比较判定部。

2.如权利要求1所述的验证装置，其特征在于，

所述验证装置包括：

输入由所述传感器部输出的所述信号，基于所述信号执行从所述程序记录部读出的所述当前程序，并输出处理结果的所述第二程序处理部；

存储对所述当前程序进行了所述规格变更后的所述新程序的新程序记录部；以及

输入由所述传感器部输出的所述信号，基于所述信号执行从所述新程序记录部读出的所述新程序，并输出处理结果的所述第三程序处理部。

3.如权利要求1或2所述的验证装置，其特征在于，

所述验证装置包括设定第二周期的验证周期设定部，该第二周期在所述第一程序处理部执行所述当前程序的第一周期以上，

所述第二程序处理部以所述第二周期执行所述当前程序，所述第三程序处理部以所述第二周期执行所述新程序。

4.如权利要求3所述的验证装置，其特征在于，

所述验证周期设定部根据所述验证装置的软件执行负载来设定所述第二周期。

5.如权利要求3或4所述的验证装置，其特征在于，

当所述传感器部输出的所述信号是周期性信号时，所述验证周期设定部基于所述传感器部的所述信号的周期来设定第二周期。

6.如权利要求5所述的验证装置，其特征在于，

所述验证周期设定部将所述第二周期设定为比所述传感器部输出的所述信号的所述周期短、且与所述周期除以整数而得到的周期不同的值。

7.如权利要求3至6中任一项所述的验证装置，其特征在于，

所述验证周期设定部将所述第二周期设定为与所述第一周期的整数倍不同的值。

8.如权利要求1至7中任一项所述的验证装置，其特征在于，

在所述比较判定部做出否定同一性的判定时，所述验证装置将所述第二程序处理部的处理结果、所述第三程序处理部的处理结果、传感器信号的输入保存到验证记录部。