资料下载
×
一种自动分析实时控制系统程序模式
消耗积分:2 |
格式:rar |
大小:1.28 MB |
2018-01-30
分享资料个
基于源程序获取实时控制系统的模式，不仅能够验证实现的模式与设计是否一致，还可使程序的最差情况执行时间（ WCET）计算更为精准。为此，提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图，对输入变量相关节点进行切片，形成依赖输入变量的控制流图（ ICFG），建立ICFG每条路径的线性规划问题并求解，从而获得潜在的程序模式。在此基础上，计算指定模式下针对现代RISC处理器程序的WCET。在基准程序上的实验结果验证了该方法的可行性和有效性。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
