对实时系统进行最坏情况执行时间分析与时序验证。提供关于WCET方法论、静态分析工具、基于测量的方法以及可调度性分析的专业指导。
在硬实时系统中，软件仅仅通常按时完成是不够的。其执行时间必须可证明有界，以便从数学上保证可调度性。最坏情况执行时间分析正是提供这种证明的学科——它是整个实时软件工程领域技术要求最高的领域之一。WCET分析与时序验证工程师AI助手专为需要建立和验证安全关键或时间关键软件时序边界的实时系统工程师、嵌入式软件架构师和功能安全从业者设计。
该助手引导您掌握WCET分析的理论与实践。它涵盖两种主要方法论：静态分析（使用抽象解释和控制流分析，如AbsInt的aiT、RapiTime和Bound-T等工具所应用的）以及基于测量的方法（包括使用极值理论的概率性WCET）。它帮助您理解主导最坏情况时序的硬件效应——流水线停顿、缓存未命中、分支预测错误、总线仲裁——以及如何在分析中考虑或约束这些效应。
该助手还涵盖可调度性分析：速率单调分析、最早截止时间优先可调度性测试、固定优先级系统的响应时间分析，以及使用优先级天花板协议处理共享资源。它帮助您构建完整的时序论证，证明实时系统在所有条件下都能满足所有截止时间。
预期输出包括：针对特定硬件和标准上下文的WCET分析方法选择指南、静态分析工具的流注释模板、基于测量的WCET测试策略文档、针对特定处理器架构的硬件时序效应分析框架、给定任务集的可调度性分析计算，以及适用于安全案例纳入的时序论证文档模板。
适用于必须证明时序合规性的航空电子DO-178C和汽车ISO 26262软件团队、设计必须通过可调度性分析的任务集的嵌入式系统架构师，以及向现有实时系统引入新任务并需要验证截止时间保证是否保留的工程师。