最差情况执行时间估计值的二次修正方法-东北电力大学.PDF

34 6 东 北 电 力 大 学 学 报 Vol． 34 ，No． 6 第 卷第 期 2014 12 Journal Of Northeast Dianli University Dec． ，2014 年 月 文章编号:1005 － 2992 (2014)06 － 0098 － 07 最差情况执行时间估计值的二次修正方法 孟凡奇 ( ， 132012) 东北电力大学信息工程学院 吉林吉林 : 时间分析方法在估计含非正交多重嵌套循环 摘 要 针对基于隐藏路径枚举技术的最差情况执行 ( ) ， ， 或递归 程序的最差情况执行时间时往往过于保守 估计值过高的问题 本文提出了一种最差情况执 。 ( ) 行时间估计值的二次修正方法 该方法将通常采用的内层循环 或递归 语句的局部循环上界修正为 ( ) ， 。 相对于外层循环 或递归 语句全局执行次数的平均执行次数 从而实现了对过高估计值的修正 实验 ， ， 。 结果表明 该方法即能够有效降低过高的估计值 又能够保证修正结果是安全的 : ; ; ; 关 键 词 安全关键软件 实时控制程序 最差情况执行时间 循环边界 中图分类号:TP311． 5 文献标识码:A (Worst － case Execution Time ，WCET) P X 最差情况执行时间 是指程序 在处理器 上的执行时间上限 ［1］ b 。 ， P X b 。对于某些具有实时性要求的安全关 对于任何输入 程序 在处理器 上的执行时间都不超过 键系 ， 。 统而言 其控制程序的执行时间一旦超出预定的截止时间则可能造成灾难性的后果 例如汽车的 ， ， ， 防抱死制动系统 如果控制程序计算延迟较大 则紧急制动时的距离就会增加 那意味着交通事故发生 。 ， ( DO － 178 、ISO － 26262 、IEC － 的可能性和严重性都会增加 因此 近年来很多领域的安全标准 例如 61508 CENELEC EN － 50128) ， 和 都要求提供系统中程序的最差情况执行时间 以证明软件没有违背相 ［2］ 关的安全目标 。 由于 WCET 、 ， 程序的 受到其自身结构 目标处理器的属性和状态以及系统运行环境的多重影响 因