一种精确分析任务WCET的自动化方法

摘要

一种精确分析任务WCET的自动化方法，包括以下步骤：一、产生程序的无循环控制流图NLCFG；二、利用NLCFG确定依赖输入变量及其对应节点；三、确定依赖循环变量、依赖非输入分支变量及它们所对应的非依赖输入节点；四、删除非依赖输入节点产生ICFG；五、产生ICFG的所有路径；六、针对每条路径产生其输入条件以及该路径对应的WCET。利用每条路径的条件和其对应的WCET能够精确估算任务的WCET。