%0 Journal Article
%T wcet分析：建立实时系统可靠运行的技术
%A 金永贤 赵建民 陈会羽？
%J 计算机科学
%D 2004
%X 实时系统开发必须强调时间的重要性，为了保证系统安全运行，需要验证系统是否在时限内完成各个任务，因此，当设计和验证实时系统时。了解运行在系统中代码的最坏执行时间(wcet)是非常重要的。wcet静态分析(简称wcet分析)计算实时程序最坏执行时间的上界，而上界被用来为应用程序的任务分配正确的cpu时间，它们也是可调度分析工具的输入，因此，wcet分析是可靠建立实时系统安全正确运行的基础。介绍了wcet分析的概念。指出了传统测量存在的缺陷，剖析了wcet分析研究的关键技术，探讨了目前存在的问题和今后的发展方向
%K 实时系统可预估性wcet分析程序流分析上界flowfacts
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=10671006&flag=1