一种平台感知(Platform-Aware)的WCET估算方法。它不再试图对每条指令、每条控制流路径进行穷尽分析,而是利用功能安全任务的强周期性和资源需求稳定性,将程序自身执行时间与平台共享资源干扰解耦。程序部分通过极低负载环境获得稳定的基准执行时间,平台部分通过干扰建模、压力测试和理论分析获得最坏干扰上界,再引入满足认证要求的安全余度,最终形成:(如图所示)
覆盖了平台最坏干扰及其不确定性。
这一框架的核心理论基础是:在功能安全任务具有固定周期、固定资源占用和固定部署配置的前提下,COTS平台上的共享资源竞争虽然不可避免,但其状态空间是有限的,因此干扰具有可证明的上界。 由此,WCET不再依赖于不可实现的“绝对无干扰平台”,而依赖于有界干扰(Bounded Interference)+ 有依据的安全余度(Safety Margin)。这使得该方法既具有严格的理论可证明性,又符合现代云计算和COTS平台的工程实践,可作为功能安全云平台进行时间保证(Timing Assurance)的一种新的WCET分析范式。
发布于 上海
