On Program Analysis via Kalman Decomposition for Non-stop Update of Embedded Systems

Abstract

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.