计算机工程

• 体系结构与软件技术 • 上一篇    下一篇

实时控制系统程序模式的WCET自动分析方法

侯小静 1,姬孟洛 1,黄辰林 2,舒云星 1,阎奔 1   

  1. (1.洛阳理工学院 计算机与信息工程学院,河南 洛阳 471023; 2.国防科学技术大学 计算机学院,长沙 410073)
  • 收稿日期:2016-11-23 出版日期:2017-08-15 发布日期:2017-08-15
  • 作者简介:侯小静(1975—),女,讲师、硕士,主研方向为实时系统、智能计算;姬孟洛(通信作者),教授级高级工程师、博士;黄辰林,副教授、博士;舒云星、阎奔,教授、博士。
  • 基金资助:
    国家自然科学基金“基于复合传感器阵列的多火源融合定位方法研究”(61503174);河南省基础与前沿技术研究计划项目“实时嵌入式系统WCET的精确分析研究”(152300410115);河南省科技攻关计划项目“基于PLC控制技术与SaaS云服务模式的智能运维系统关键技术研究”(162102210276);河南省科技厅国际科技合作项目“基于二维码离散视觉识别模式的物流机器人路径规划与导引的研究”(152102410053)。

Automatic WECT Analysis Method of Program Mode for Real-time Control System

HOU Xiaojing  1,JI Mengluo  1,HUANG Chenlin  2,SHU Yunxing  1,YAN Ben  1   

  1. (1.School of Computer and Information Engineering,Luoyang Institute of Science and Technology,Luoyang,Henan 471023,China;2.School of Computer,National University of Defense Technology,Changsha 410073,China)
  • Received:2016-11-23 Online:2017-08-15 Published:2017-08-15

摘要: 基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相关节点进行切片,形成依赖输入变量的控制流图(ICFG),建立ICFG每条路径的线性规划问题并求解,从而获得潜在的程序模式。在此基础上,计算指定模式下针对现代RISC处理器程序的WCET。在基准程序上的实验结果验证了该方法的可行性和有效性。

关键词: 程序模式, 最差情况执行时间分析, 实时控制系统, 控制流图, 线性规划

Abstract: Obtaining program modes of real-time control system from source codes cannot only verify the consistence of the design and implementation,but also improve the accuracy of Worst-Case Execution Time(WCET) calculation.Based on this consideration,this paper proposes an automatic analysis method for program mode of real-time control system.The Control Flow Graph(CFG) of program is generated by analyzing the C source codes,and by means of slicing input variables dependent nodes,an Input-dependent Control Flow Graph(ICFG) is formed.Linear programming problem is constructed and solved for each path of ICFG.If the problem has a solution,a potential program mode will be achieved.On this basis,the WCET of given mode for program in modern RISC processor is calculated.Experimental result for a benchmark program shows that the proposed method is feasible and effective.

Key words: program mode, Worst-Case Execution Time(WCET) analysis, real-time control system, Control Flow Graph(CFG), linear programming

中图分类号: