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

• 作者: 侯小静 姬孟洛 舒云星 阎奔 黄辰林
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 程序模式 最差情况执行时间分析 实时控制系统 控制流图 线性规划
• 年，卷（期）: 2017,（8）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 56-62,68
• 页数: 8页
• 分类号: TP391
• 字数: 7683字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2017.08.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	舒云星	洛阳理工学院计算机与信息工程学院	32	127	6.0	9.0
2	侯小静	洛阳理工学院计算机与信息工程学院	13	41	5.0	5.0
3	阎奔	洛阳理工学院计算机与信息工程学院	6	4	1.0	2.0
4	黄辰林	国防科学技术大学计算机学院	5	23	3.0	4.0
5	姬孟洛	洛阳理工学院计算机与信息工程学院	5	9	2.0	3.0