-
题名实时控制系统程序模式的WCET自动分析方法
被引量：1
- 1
-
-
作者
侯小静
姬孟洛
黄辰林
舒云星
阎奔
-
机构
洛阳理工学院计算机与信息工程学院
国防科学技术大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2017年第8期56-62,68,共8页
-
基金
国家自然科学基金"基于复合传感器阵列的多火源融合定位方法研究"(61503174)
河南省基础与前沿技术研究计划项目"实时嵌入式系统WCET的精确分析研究"(152300410115)
+1 种基金
河南省科技攻关计划项目"基于PLC控制技术与Saa S云服务模式的智能运维系统关键技术研究"(162102210276)
河南省科技厅国际科技合作项目"基于二维码离散视觉识别模式的物流机器人路径规划与导引的研究"(152102410053)
-
文摘
基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相关节点进行切片,形成依赖输入变量的控制流图(ICFG),建立ICFG每条路径的线性规划问题并求解,从而获得潜在的程序模式。在此基础上,计算指定模式下针对现代RISC处理器程序的WCET。在基准程序上的实验结果验证了该方法的可行性和有效性。
-
关键词
程序模式
最差情况执行时间分析
实时控制系统
控制流图
线性规划
-
Keywords
program mode
Worst-Case Execution Time （WCET） analysis
real-time control system
control flowgraph （cfg）
linear programming
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
