作者：侯小静; 姬孟洛; 黄辰林; 舒云星; 阎奔程序模式最差情况执行时间分析实时控制系统控制流图线性规划
摘要：基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间（WCET）计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相关节点进行切片,形成依赖输入变量的控制流图（ICFG）,建立ICFG每条路径的线性规划问题并求解,从而获得潜在的程序模式。在此基础上,计算指定模式下针对现代RISC处理器程序的WCET。在基准程序上的实验结果验证了该方法的可行性和有效性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
