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

DOI Web Site Web Site 2 References Open Access
  • KISHIDA Takamitsu
    Faculty of Informatics and Engineering, University of Electro-Communications
  • TSUKADA Kento
    Faculty of Informatics and Engineering, University of Electro-Communications
  • SAWADA Kenji
    Info-Powered Energy System Research Center, University of Electro-Communications
  • SHIN Seiichi
    Faculty of Informatics and Engineering, University of Electro-Communications

Bibliographic Information

Other Title
  • 組み込みシステムの無瞬断更新のためのカルマン正準分解に基づくプログラム解析
  • クミコミ システム ノ ムシュンダンコウシン ノ タメ ノ カルマン セイ ジュンブンカイ ニ モトズク プログラム カイセキ

Search this article

Abstract

<p>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.</p>

Journal

References(2)*help

See more

Related Projects

See more

Keywords

Details 詳細情報について

Report a problem

Back to top