26、系统评估与验证：性能、质量、能耗的多维度考量

系统评估与验证：性能、质量、能耗的多维度考量

在当今复杂的系统设计与开发中，对系统进行全面的评估和验证至关重要。这涉及到性能、质量、能耗等多个关键方面，下面将详细介绍相关的评估方法和指标。

1. 性能评估

1.1 隐式路径枚举（IPET）与最坏情况执行时间（WCET）分析

在分析系统的执行时间时，我们可以通过构建约束条件来建模。以节点 _L1 为例，进入该节点的分支次数（x6 + x8）等于其执行次数（x7），离开该节点的次数（x9 + x10）也等于其执行次数。这种约束条件反映了图的结构。通过标准的整数线性规划（ILP）求解器来解决相关问题，最大化目标函数可以得到 WCET 的安全上界。这种建模执行时间的技术被称为隐式路径枚举（IPET），它避免了枚举大量可能执行路径的问题。

不过，像 aiT 这样可视化结果为带注释控制流图的工具，虽然有助于设计者优化系统，但也存在局限性，它不支持其他进程的抢占、中断、输入/输出以及直接内存传输（DMA）。目前，多核的 WCET 分析方法较少，新的概率方法旨在补充现有方法，通常基于极值理论。

1.2 实时演算（RTC）

WCET 估计能让我们预测单个输入事件下算法的执行情况，但我们更希望确保硬件平台能及时处理事件流，这就可以借助 Thiele 的实时演算（RTC）。

RTC 基于对事件到达率的描述，包括其波动情况。事件序列的时间特征由到达曲线表示：
[
\alpha^u(\tau), \alpha^l(\tau) \in \mathbb{R} {\geq 0}, \tau \in \mathbb{R} {\geq 0