嵌入式控制系统程序模式的自动分析方法

摘要：

嵌入式控制系统通常都有模式,比如启动模式、正常工作模式以及紧急模式等.程序模式是由其输入变量值范围组合构成的输入变量约束表达式表示的.基于源程序,获取其模式,不仅能够验证实现的模式与设计是否一致,还能够更加精确地计算程序的WCET.在对源程序进行分析的基础上,提出了一种自动获取程序模式的新方法.该方法基于C语言源程序,针对程序控制流程图,通过调整循环中节点流向以及去除与输入变量无关的节点,获得输入变量相关控制流程图ICFG,通过对ICFG每条路径建立线性规划问题并求解,获得每一个潜在的程序模式及其输入变量约束表达式.对基准程序的实验结果,表明了该方法的可行性和有效性.

关键词：嵌入式控制系统、程序模式、程序分析、控制流程图

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：河南省基础与前沿技术研究计划152300410115;河南省科技厅计划162102310474

在线出版日期：2017-08-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1338-1345