|
计算机科学 2004
wcet分析:建立实时系统可靠运行的技术Keywords: 实时系统可预估性wcet分析程序流分析上界flowfacts Abstract: 实时系统开发必须强调时间的重要性,为了保证系统安全运行,需要验证系统是否在时限内完成各个任务,因此,当设计和验证实时系统时。了解运行在系统中代码的最坏执行时间(wcet)是非常重要的。wcet静态分析(简称wcet分析)计算实时程序最坏执行时间的上界,而上界被用来为应用程序的任务分配正确的cpu时间,它们也是可调度分析工具的输入,因此,wcet分析是可靠建立实时系统安全正确运行的基础。介绍了wcet分析的概念。指出了传统测量存在的缺陷,剖析了wcet分析研究的关键技术,探讨了目前存在的问题和今后的发展方向
|