局部约束与全局约束对WCET分析的影响浅析

在线阅读下载PDF

导出

摘要循环语句的执行次数对程序的执行时间是有影响的,通常循环次数越多,程序执行时间越长。因此,在最差情况执行时间分析中通常需要指明程序循环语句的执行次数上限。本文简要分析使用局部约束与全局约束标注循环上限对最差情况执行时间分析结果的影响。

作者孟凡奇

机构地区东北电力大学

出处《无线互联科技》 2014年第9期149-149,共1页 Wireless Internet Technology

关键词最差情况执行时间循环上界局部约束全局约束

作者简介孟凡奇，男，东北电力大学信息工程学院，讲师，研究方向：电力软件安全。

参考文献2

1吕鸣松,关楠,王义.面向WCET估计的Cache分析研究综述[J].软件学报,2014,25(2):179-199. 被引量：10
2Xianfeng Li,Yun Liang,Tulika Mitra,Abhik Roychoudhury.Chronos: A timing analyzer for embedded software[J].Science of Computer Programming.2007(1)

1毛金玲.基于抽象解释技术的Cache分析方法[J].中小企业管理与科技,2015,0(8):269-270.
2周国昌,郭宝龙,高翔,王健,闫允一.基于分布函数的WCET快速估计[J].计算机科学,2016,43(5):157-161. 被引量：3
3于广良,杨孟飞,姜宏,徐建.高速缓存影响的航天器控制软件调度设计方法[J].空间控制技术与应用,2017,43(1):55-60.
4陈刚,关楠,吕鸣松,王义.实时多核嵌入式系统研究综述[J].软件学报,2018,29(7):2152-2176. 被引量：46
5王颖洁,周宽久,李明楚.实时嵌入式系统的WCET分析与预测研究综述[J].计算机科学,2019,46(B06):16-22. 被引量：8
6喻垚慎,黄志球,沈国华,王飞,崔少轩.基于抽象解释的嵌入式软件模块化Cache行为分析框架[J].计算机学报,2019,42(10):2251-2266. 被引量：5
7刘力维.基于Cache的板级调试交互平台设计与实现[J].信息记录材料,2022,23(6):237-239.
8朱怡安,史先琛,姚烨,李联,任鹏远,董威振,李佳钰.基于多级一致性协议的多核处理器WCET分析方法[J].计算机研究与发展,2023,60(1):30-42. 被引量：1
9李子豪,张轶,刘学,邓庆绪.实时系统多路径任务概率时序分析研究综述[J].小型微型计算机系统,2024,45(11):2586-2593.

无线互联科技

2014年第9期

内容加载中请稍等...