• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

Computer Engineering & Science

Previous Articles     Next Articles

An automatic program mode analysis
approach for embedded control systems
 

JI Meng-luo1,SHU Yun-xing1,HUANG Chen-lin2,GAO Xiang1,TAO Rong1   

  1. (1.Department of Computer and Information Engineering,Luoyang Institute of Science and Technology,Luoyang 471023;
    2.College of Computer,National University of Defense Technology,Changsha 410073,China)
     
  • Received:2015-12-31 Revised:2016-05-10 Online:2017-07-25 Published:2017-07-25

Abstract:

Embedded control systems normally have modes such as startup mode, normal mode and emergency mode. Program modes are expressed by the combination of value ranges of input parameters, which are input parameter expressions. Deriving program modes from code cannot only verify the consistency between the design and implementation, but also improve the accuracy of WCET estimation. Based on the analysis of source code, we propose a new method which can automatically analyze program modes. We achieve an input-dependent control flow graph (ICFG) by working on the control flow graph of the source code, then redirecting the control flows of nodes in loops and deleting input variables independent nodes. We construct a linear programming problem for each path of the ICFG and gain an input parameter expression for a potential mode if the problem has a solution. Expression results for a benchmark program show that the method is feasible and effective.
 

Key words: embedded control systems, program mode, program analysis, control flow graph