11.1.2 WCET分析与截止期保证

文档摘要

11.1.2 WCET分析与截止期保证在实时嵌入式系统的世界里，时间不是抽象的度量，而是可触摸、可验证、可担保的物理资源——就像内存字节或CPU寄存器一样真实。当一个飞行控制律必须在3毫秒内完成姿态解算，当一个制动执行器必须在120微秒内响应CAN总线上的紧急指令，当一个核电站安全停堆逻辑必须在400纳秒内完成所有条件判据的串联评估……此时，“它跑得快不快”已毫无意义；真正决定生死的是：“它最慢会花多久？这个最坏情况是否被严格证明？这个证明能否经受住编译器重排、缓存冲突、分支预测失败、总线争用、甚至硅片批次差异的联合拷问？” 这，就是WCET（Worst-Case Execution Time，最坏情况执行时间）分析的战场。它不是性能调优的副产品，而是实时系统可信性的基石；