HRTOS 的存在，不是因为“需要更快的操作系统”，而是因为传统系统无法提供时间确定性保证。
正确性 = 功能结果 + 时间约束
① 实时问题 → 时间即正确性 ② GPOS局限 → 不可预测调度 ③ 冲突 → 公平性 vs 确定性 ④ 结论 → 必须引入时间约束
调度统计化 + 内核路径不确定 + 资源竞争 → 无法建立最坏情况模型
系统必须满足：执行路径 + 时间上界都可建模
WHY层定义系统成立边界，而不是实现方式。