处理器动作检查系统及其检查方法。处理器(1)具备：运算部(12)；存储程序的存储部(12)；以及将与通知程序的执行状态的命令对应的比特信号发送到上述动作检查部的数据发送电路(13)。动作检查部(2)具备过渡动作判断电路(2a)和循环处理判断电路(2b)，具备：预先附加了识别成为过渡源的任务的ID的开始ID命令；识别任务的动作结束的结束ID命令；以及在相应任务执行循环处理的情况下通知该循环处理次数的最大值的循环命令；过渡动作判断电路根据开始ID命令和结束ID命令判断程序的任务的过渡动作是否良好，循环处理判断电路判断循环处理次数的异常。
【技术实现步骤摘要】
本专利技术涉及对处理器所执行的程序的动作状态进行检查的。
技术介绍
处理器的故障检测一般使用看门狗定时器来监视其动作的异常，但在处理器的故障中，除了程序的缺陷、篡改及软件错误等成为原因的故障之外，还存在处理器的各种电路构成要素的故障成为原因的故障。近年来，在要求高度安全性的控制装置等的安全装置中，被要求能够对具备处理器的装置正常动作的情况进行验证的动作监视功能。 因此，公开了如下方法在系统的运行中对处理器所执行的程序的动作顺序进行监视，并对处理器的停止、错误的动作进行检测，因此在处理器外部的动作检查装置中构成状态机，并逐次检测状态的过渡。例如，存在作为日本专利公报的专利第4359632号公报(以下称作专利文献I)或同样作为日本专利公报的特开2010-9296号公报(以下称作专利文献2)。但是，专利文献I所公开的微处理器动作检查系统为，需要在动作检查电路中，作为状态机而预先组装对由FPGA (Field Programmable GateArray :现场可编程门阵列)那样的可重构的硬件执行的程序进行模拟的电路，而预先计算处理器本来应采取的新状态，因此存在动作检查电路的构成变得复杂的问题。此外，由于每当程序变更时就需要变更进行模拟的电路，因此在预测到程序变更的系统中，存在其维护复杂、需要时间劳力的问题。此外，在专利文献2所公开的软件动作监视装置中构成为，与任务的地址建立对应地对所启动的任务赋予识别信息ID，该识别信息ID包含对自身任务和之前所执行的任务进行确定的信息，根据此次启动的任务的ID和之前启动的前次任务的ID，通过硬件监视任务的启动顺序是否正常，将监视结果信息按时间序列存储为日志信息，因此成为复杂的电路构成。并且，构成为，通过看门狗定时器来判断软件的执行状态的异常，当看门狗定时器检测到超时时，使存储的日志信息退避到记录部中，因此存储器容量也变大。因此，根据任务的过渡方法的不同而存在ID变大、执行软件延迟的可能性，存在从检测到异常之后到将系统停止为止花费时间的问题。在被要求安全性和可靠性的使用了处理器的安全控制系统中，希望通过程序动作的异常检测较快、程序动作的合理性故障较少的电路来构成，但是在专利文献2的构成的情况下，存在需要复杂的电路和较大的存储器容量的问题。
技术实现思路
本专利技术是为了解决上述问题而进行的，其目的在于提供一种，相对于程序变更不需要动作检查部的重构，能够通过简单的电路和较少的存储器容量而快速地检测出处理器的任务启动顺序的异常。为了实现上述目的，本专利技术的处理器动作检查系统具备如下构成。即，一种处理器动作检查系统，具备处理器和对其动作进行检查的动作检查部，其特征在干，上述处理器具备执行程序的运算部；存储部，存储包括多个任务的上述程序；以及数据发送电路，向上述动作检查部发送比特信号，该比特信号与对上述运算部执行上述程序的状态进行通知的命令相对应，上述动作检查部具备过渡动作判断电路，对上述程序的过渡状态进行检查；和循环处理判断电路，对循环处理的循环次数进行判断， 在各个上述任务中具备开始ID命令，预先在相应任务的开头地址中附加了对成为过渡源的上述任务进行识别的ID ；结束ID命令，在相应任务的最終地址中对该任务的动作结束进行识别；以及循环命令，在相应任务执行循环处理的情况下，对该循环处理次数的最大值进行通知，上述运算部或上述数据发送电路为，与上述开始ID命令对应的上述开始ID比特信号，成为对于构成上述程序的全部任务、能够对自身任务启动时的成为过渡源的任务和其他任务进行识别的状态信号，与上述结束ID命令对应的上述结束ID比特信号，成为对于构成上述程序的全部任务、能够对自身任务结束时的其他任务未启动的情况进行识别的状态信号，并且，分别生成与上述循环命令对应的最大值信号，并从上述数据发送电路向上述动作检查部发送，上述过渡动作判断电路求出动作结束的第一结束ID比特信号和接着启动的上述任务的第二开始ID比特信号之间的一致信号、上述一致信号和上述第二开始ID比特信号的排他逻辑和，而判断上述程序的任务的过渡动作是否良好，上述循环处理判断电路将动作开始的第一开始ID比特信号和第一结束ID比特信号之间的一致信号作为增量信号进行计数，将该计数值和上述最大值进行比较，而判断循环处理次数的异常，在处理器执行程序的过程中检测任务的过渡动作的异常。为了实现上述目的，本专利技术的处理器动作检查系统的检查方法具备如下构成。即，一种处理器动作检查系统的处理器动作检查方法，该处理器动作检查系统具备处理器和对其动作进行检查的动作检查部，其特征在于，具备对于构成程序的全部任务，预先设定预先在相应任务的开头地址中附加了对成为过渡源的上述任务进行识别的ID的开始ID命令、在相应任务的最終地址中对该任务的动作结束进行识别的结束ID命令、以及在相应任务执行循环处理的情况下对该循环处理次数的最大值进行通知的循环命令的步骤；与上述开始ID命令对应的上述开始ID比特信号，成为对于构成上述程序的全部任务、能够对自身任务启动时的成为过渡源的任务和其他任务进行识别的状态信号，与上述结束ID命令对应的上述结束ID比特信号，成为对于构成上述程序的全部任务、能够对自身任务结束时的其他任务未启动的情况进行识别的状态信号，并分别生成与上述循环命令对应的最大值信号的步骤；求出动作结束的第一结束ID比特信号和接着启动的上述任务的第二开始ID比特信号之间的一致信号、上述一致信号和上述第二开始ID比特信号的排他逻辑和，而判断上述程序的任务的过渡动作是否良好的步骤；以及上述循环处理判断电路将动作开始的第一开始ID比特信号和第一结束ID比特信号之间的一致信号作为增量信号进行计数，将该计数值和上述最大值进行比较，而判断循环处理次数的异常的步骤。根据本专利技术，能够提供一种，相对于程序的变更不需要动作检查部的重构，能够通过简单的电路和较少的存储器容量而快速地检测出处理器的任务启动顺序的异常。附图说明图I是本专利技术实施例I的处理器动作检查系统的构成图。·图2是包括多个任务的程序的例子。图3A、图3B是说明本专利技术的任务构成、赋予的开始ID命令、结束ID命令、对应的开始ID比特信号、结束ID比特信号的图。图4是过渡动作判断电路的电路构成图。图5是说明过渡动作判断电路的动作的图。图6A、图6B、图6C是说明循环处理判断电路的动作的图。图7是本专利技术实施例2的处理器动作检查系统的构成图。符号的说明I处理器2动作检查部2a过渡动作判断电路2b循环处理判断电路11存储部12运算部13数据发送电路14异常处理部14a停止电路14b异常接收电路21开始ID寄存器22结束ID寄存器23判断电路24循环监视部24最大值寄存器25计数器26比较电路27异常信号发送电路28异常检测寄存器29停止发送电路100处理器动作检查系统具体实施例方式以下，參照附图对本实施例进行说明。实施例I以下，參照图I至图6A、图6B、图6C对实施例I进行说明。首先，參照图I对本实施例的构成进行说明。在此所说的处理器是计算机等的中心处理装置即统称为CPU(CentralProcessing Unit :中央处理器)、MPU (Microprocessing Unit :微处理器)的处理器，与各 自的安装方式无关。处理器动作检本文档来自技高网...
【技术保护点】
【技术特征摘要】
2011.01.19 JP 008983/20111.一种处理器动作检查系统，具备(I)处理器和(2)对其动作进行检查的动作检查部，其中， (I)上述处理器具备 (1)执行程序的运算部； ( )存储部，存储包括多个任务的上述程序；以及 (iii)数据发送电路，向上述动作检查部发送比特信号，该比特信号与对上述运算部执行上述程序的状态进行通知的命令相对应， (2)上述动作检查部具备 (i)过渡动作判断电路，对上述程序的过渡状态进行检查；和 ( )循环处理判断电路，对循环处理的循环次数进行判断， 在各个上述任务中具备 开始ID命令，预先在相应任务的开头地址中附加了对成为过渡源的上述任务进行识别的ID ； 结束ID命令，在相应任务的最終地址中对该任务的动作结束进行识别；以及循环命令，在相应任务执行循环处理的情况下，对该循环处理次数的最大值进行通知，上述运算部或上述数据发送电路为，与上述开始ID命令对应的开始ID比特信号，成为对于构成上述程序的全部任务、能够对自身任务启动时的成为过渡源的任务和其他任务进行识别的状态信号，与上述结束ID命令对应的结束ID比特信号，成为对于构成上述程序的全部任务、能够对自身任务结束时的其他任务未启动的情况进行识别的状态信号，并且，分别生成与上述循环命令对应的最大值信号，并从上述数据发送电路向上述动作检查部发送， (i)上述过渡动作判断电路求出动作结束的第一结束ID比特信号和接着启动的上述任务的第二开始ID比特信号之间的一致信号、上述一致信号和上述第二开始ID比特信号的排他逻辑和，而判断上述程序的任务的过渡动作是否良好， ( )上述循环处理判断电路将动作开始的第一开始ID比特信号和第一结束ID比特信号之间的一致信号作为增量信号进行计数，将该计数值和上述最大值进行比较，而判断循环处理次数的异常，在处理器执行程序的过程中检测任务的过渡动作的异常。2.根据权利要求I所述的处理器动作检查系统，其特征在干， 上述过渡动作判断电路具备 结束ID寄存器和开始ID寄存器，暂时存储上述结束ID比特信号和开始ID比特信号；第一 AND电路，在接...
【专利技术属性】
技术研发人员：大西直哉，中谷博司，鲛田芳富，竹原润，井上笃，登古诚，
申请(专利权)人：株式会社东芝，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。