Abstract:
As a technology of software non-stop update analysis which is program update without system restarting, this paper proposes an automatic discriminant method which detects...Show MoreMetadata
Abstract:
As a technology of software non-stop update analysis which is program update without system restarting, this paper proposes an automatic discriminant method which detects updatable and non-updatable parts of the program in terms of control theory. The novelty of this study is to apply control flow analysis via Petri Net and structure analysis via Kalman Decomposition to program analysis. This paper aims to realize the judgment on the capability of program update and the influence analysis of updated parts while the program runs. Focusing on the program of robot lancer, this paper verifies the validity of the proposed method and provides some new viewpoints to control flow analysis of program.
Published in: 2017 11th Asian Control Conference (ASCC)
Date of Conference: 17-20 December 2017
Date Added to IEEE Xplore: 08 February 2018
ISBN Information: