功能 #3362
由 涛 陆 更新于 3 个月 之前
Temporal Determinism
验证/证据：软件技术设计评审（Software Technical Design Review）
本RQT的合规性标志为软件技术设计评审完成和/或以下设计规则的合规性：
.DR-003701-708063 软件时序（Software Timing）
——软件动态架构设计中体现
.DR-003701-708064 时间确定性（Temporal Determinism）
——会进行每个task的运行时间及周期的测试
.DR-003701-708065 CPU负载（CPU Load）
——会进行CPU Load的测试 需求分析：
任何含软件的电子控制模块均需定义时序约束（timing constraints）以确保性能达标。此类约束包括硬实时要求（hard real-time requirements），软实时要求（soft real-time requirements），定义和预测满足时序要求精度的能力称为时间确定性（temporal determinism）。CPU负载（CPU Load）定义为任务完成后剩余的CPU带宽（CPU Bandwidth）。对于多任务操作系统（multitasking OS），其表示下一个任务调度前空闲任务（idle task）的运行时间。软件时序（Software timing）指用于量化耗时的方法。
上述设计规则（DR-003701-708063/708064/708065）旨在明确负载限制定义规则与时间确定性保障方法。
未实施这些设计规则将导致软件：错过截止时间（miss deadlines），行为异常（behave erratically），无法适应新增功能或缺陷修复的软件变更（unable to accommodate changes）
返回