面向Web的WCET模式自动分析系统

• 作者: 姬孟洛 舒云星 高翔 黄辰林
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 实时系统 WCET 程序模式 程序分析
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 嵌入式软件与应用
• 页码范围: 236-241,271
• 页数: 7页
• 分类号: TP311
• 字数: 6263字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2017.02.042

摘要

针对传统的WCET(Worst-Case Execution Time)分析方法面临的精度不高和用户使用繁琐问题,提出一种自动分析程序模式的方法并据此设计实现了一个面向Web的WCET分析系统.首先在对源程序进行分析的基础上,利用程序控制流程图,通过数据流框架进行切片,获得依赖于输入变量的无循环控制流程图ICFG.然后,通过对ICFG每条路径求解,获得程序的模式及其输入表达式,并计算其对应的WCET.最后,将上述分析方法设计实现为针对C语言的动态链接库(DLL),并利用该DLL实现一个面向Web的WCET自动分析系统——WCET Mode Analyzer.WCET Mode Analyzer对基准程序的分析结果,验证了该方案的有效性和应用的简便性.

作者信息

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