点击量 ：

第一作者 ： 金永贤

发表时间 ： 2004-01-01

发表刊物 ： 计算机科学

所属单位 ： 数理与信息工程学院

文献类型 ： 期刊

卷号 ： 第31卷

页面范围 ： 45-48

ISSN ： 1002-137X

关键字 ： 实时系统；可预估性；WCET分析；程序流分析；上界；Flow；facts

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

是否译文 ： 否