DETERMINATION DEVICE AND DETERMINATION METHOD

• Main Authors: MORITA NAOYUKI, TANIMOTO MASAAKI
• Format: Patent
• Language: English; Japanese
• Published: 29.03.2018
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PERFORMING OPERATIONS; PHYSICS; TRANSPORTING; VEHICLES IN GENERAL; VEHICLES, VEHICLE FITTINGS, OR VEHICLE PARTS, NOT OTHERWISEPROVIDED FOR

PROBLEM TO BE SOLVED: To suppress an execution overhead, and to enable applying in a hard real time system such as on-vehicle control or industrial control.SOLUTION: A determination device comprises a differential code generation unit that generates a first differential code indicating a set of code pieces being different from a second program of a first program, and a second differential code indicating the set of code pieces being different from the first program of the second program, a logical formula derivation unit that derives a first logical formula from a first differential code by predetermined transformation, and derives a second logical formula from a second differential code by the predetermined transformation, and a determination unit that determines whether or not dynamic update is possible from the first program to the second program in predetermined built-in equipment based on whether or not the second logical formula includes the first logical formula.SELECTED DRAWING: Figure 2 【課題】実行オーバーヘッドを抑制し、車載制御や産業制御などハードリアルタイムシステムでの適用を可能とすること。【解決手段】判定装置は、第１のプログラムのうち第２のプログラムと異なるコード片の集合を示す第１の差分コードと、第２のプログラムのうち第１のプログラムと異なるコード片の集合を示す第２の差分コードとを生成する差分コード生成部と、第１の差分コードから所定の変換により第１の論理式を導出し、第２の差分コードから所定の変換により第２の論理式を導出する論理式導出部と、第２の論理式が第１の論理式を含むか否かにより、所定の組込み機器における第１のプログラムから第２のプログラムへの動的更新の可否を判定する判定部と、を備える。【選択図】図２