一种精确分析任务WCET的自动化方法研讨.docVIP

（一）发明名称 一种精确分析任务WCET的自动化方法 （）技术领域??本发明涉及一种精确估算实时系统任务最差情况执行时间（WCET ：Worst-Case Execution Time）的自动化方法，属于实时嵌入式系统领域。 ?（）背景技术 实时系统的结果只有在规定的时间范围内完成时才是有效的在规定的时间范围内完成时，轻则降低系统的性能，重则引起灾难性的后果事先获取系统中每个任务CET ：Best-Case Execution Time）有着特别重要的意义。调度及可调度性检测的前提WCET分析包括三个组成部分：①程序流事实分析；②执行时间模型的建立；③前两项信息的WCET计算。流信息循环的最大迭代次数、不可行路径(infeasible path)，其中不可行路径是指对任意输入数据都不可能执行的程序路径。 要获取程序的WCET，需要对程序的目标代码进行分析以获得实际的时间，即建立执行时间模型。对于不带cache、没有流水线的传统CISC指令，其指令的执行时间是固定的，执行时间模型：一个代码段的执行时间就是其所对应的每条指令执行时间的累加。计算在给定程序流和执行时间模型的情况下，为程序计算WCET估值。基于树的（tree-base）计算方法，使用为每种类型的复合程序语句定义的规则确定语句的WCET，然后通过自底向上遍历程序的语法分析树产生整个程序的WCET估值S1;S2，WCET(S1