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

• 作者: 姬孟洛 舒云星 陶荣 高翔 黄辰林
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 嵌入式控制系统 程序模式 程序分析 控制流程图
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 图形与图像
• 页码范围: 1338-1345
• 页数: 8页
• 分类号: TP311
• 字数: 7290字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2017.07.021

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	舒云星	洛阳理工学院计算机与信息工程学院	32	127	6.0	9.0
2	黄辰林	国防科技大学计算机学院	12	300	6.0	12.0
3	高翔	洛阳理工学院计算机与信息工程学院	13	51	5.0	6.0
4	陶荣	洛阳理工学院计算机与信息工程学院	17	97	4.0	9.0
5	姬孟洛	洛阳理工学院计算机与信息工程学院	5	9	2.0	3.0