实时软件最坏执行时间的极值统计研究及分析工具原型

（1）以程序执行时间测量值的最大值序列作为样本，研究程序最坏执行时间的极值分布，建立最坏执行时间的极值估计模型，给出模型参数估计方法。(2)建立模型有效性的验证方法。(3)建立实验方法。（4）建立WCET分析工具原型。通过极值统计学与程序最坏执行时间WCET分析相结合的理论框架和实验方法的建立，为WCET估计提供新的分析方法，这种分析方法相对于静态WCET分析方法简单易行，不需要对系统的某种程度上的额外知识和限定性的假设，可以综合考虑处理器的各种硬件特性对程序执行时间的影响，因此可以获得更高精度的WCET估计，为调度分析提供准确的时间信息，提高实时系统效率和资源利用率。建立具有开放性和可扩展性的分析工具框架原型，可以很方便的集成不同的WCET分析方法。