(EN) A division unit (110) divides a plurality of control processes for each of a first program (61), before change, and a second program (62), after change, into a concurrent process and a function serial process, and outputs the concurrent process and the function serial process as a first divided program (71) and a second divided program (72). In addition, when a functional defect is detected, a cause estimation unit (150) estimates, as a cause of the functional defect, function serial processes that are different between the first divided program (71) and the second divided program (72). When a defect is detected as a concurrent defect, the cause estimation unit (150) estimates, as a cause of the concurrent defect, concurrent processes that are different between the first divided program (71) and the second divided program (72).
(FR) L'invention concerne une unité de division (110) qui divise une pluralité de processus de commande pour chacun d'un premier programme (61), avant changement, et d'un second programme (62), après changement, en un processus simultané et un processus en série de fonctions, et délivre en sortie le processus simultané et le processus en série de fonctions sous la forme d'un premier programme divisé (71) et d'un second programme divisé (72). En outre, lorsqu'un défaut fonctionnel est détecté, une unité d'estimation de cause (150) estime, en tant que cause du défaut fonctionnel, des processus en série de fonctions qui sont différents entre le premier programme divisé (71) et le second programme divisé (72). Lorsqu'un défaut est détecté en tant que défaut simultané, l'unité d'estimation de cause (150) estime, en tant que cause du défaut simultané, des processus simultanés qui sont différents entre le premier programme divisé (71) et le second programme divisé (72).
(JA) 分割部(110)が、変更前の第1のプログラム(61)と変更後の第2のプログラム(62)との各々について、複数の制御処理の各々を、並行性処理と機能逐次処理とに分割し、第1の分割済プログラム(71)と第2の分割済プログラム(72)として出力する。また、原因推定部(150)が、機能的欠陥が検出された場合に、第1の分割済プログラム(71)と第2の分割済プログラム(72)との間で異なる機能逐次処理を機能的欠陥の原因と推定する。原因推定部(150)が、欠陥が並行性欠陥として検出された場合に、第1の分割済プログラム(71)と第2の分割済プログラム(72)との間で異なる並行性処理を並行性欠陥の原因と推定する。