DETERMINATION DEVICE AND DETERMINATION METHOD
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...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Patent |
| Sprache: | eng ; jpn |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | 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
【課題】実行オーバーヘッドを抑制し、車載制御や産業制御などハードリアルタイムシステムでの適用を可能とすること。【解決手段】判定装置は、第１のプログラムのうち第２のプログラムと異なるコード片の集合を示す第１の差分コードと、第２のプログラムのうち第１のプログラムと異なるコード片の集合を示す第２の差分コードとを生成する差分コード生成部と、第１の差分コードから所定の変換により第１の論理式を導出し、第２の差分コードから所定の変換により第２の論理式を導出する論理式導出部と、第２の論理式が第１の論理式を含むか否かにより、所定の組込み機器における第１のプログラムから第２のプログラムへの動的更新の可否を判定する判定部と、を備える。【選択図】図２ |
|---|