(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) 分割部（１１０）が、変更前の第１のプログラム（６１）と変更後の第２のプログラム（６２）との各々について、複数の制御処理の各々を、並行性処理と機能逐次処理とに分割し、第１の分割済プログラム（７１）と第２の分割済プログラム（７２）として出力する。また、原因推定部（１５０）が、機能的欠陥が検出された場合に、第１の分割済プログラム（７１）と第２の分割済プログラム（７２）との間で異なる機能逐次処理を機能的欠陥の原因と推定する。原因推定部（１５０）が、欠陥が並行性欠陥として検出された場合に、第１の分割済プログラム（７１）と第２の分割済プログラム（７２）との間で異なる並行性処理を並行性欠陥の原因と推定する。
