組み込みシステムの無瞬断更新のためのカルマン正準分解に基づくプログラム解析

抄録

As a technology of non-stop update without system restart, this paper proposes an automatic discriminant method which detects updatable parts and non-updatable parts of the program and an effect analysis method by program update. The novelty of this study is to apply control flow analysis based on Petri Net and structure analysis based on Kalman Decomposition to the program. By doing this, this paper aims to realize the judgment on the availability of update and the influence analysis of the update part while the program runs. Focusing on the program of robot lancer as an example of embedded systems, this paper reports results about the classification as updatable parts and non-updatable parts and the operation verification against the updated the program.