19、时间关键型汽车网络物理系统的安全感知设计

时间关键型汽车网络物理系统的安全感知设计

1. 系统模型定义

SEDAN系统模型具有以下输入：
- 异构（1或2核）电子控制单元（ECU）集合 $N = {1, 2, …, Ɲ}$；
- 汽车应用集合 $A = {1, 2, …, λ}$ 以及系统中的任务集合 $T = {T_1 ∪ T_2 … ∪T_λ}$，其中 $T_a$ 是应用 $a ∈ A$ 中的任务集合；
- 每个任务在 $T$ 中有唯一的任务ID $TID = {1, 2, …, G}$；
- 任务分配后，每个任务 $t$ 表示为 $t_{q,n}$，其中 $q ∈ TID$ 是任务ID，$n ∈N$ 是任务 $t$ 映射到的ECU；
- 每个任务 $t$ 由四元组 ${ã_{q,n}, \tilde{p} {q,n}, \tilde{d} {q,n}, \tilde{e} {q,n}}$ 表征，分别代表任务的到达时间、周期、截止时间和执行时间；
- 对于每个ECU $n ∈N$，$S_n = {s {1,n}, s_{2,n} …, s_{K_n,n}}$ 是从该ECU传输的信号集合，$K_n$ 是 $n$ 中信号的总数；
- 每个信号 $s_{i,n} ∈ S_n$（$i = 1, 2 …, K_n$）由四元组 ${\hat{a} {i,n}, \hat{p} {i,n}, \hat{b} {i,n}, \hat{d} {i,n}}$ 表征，分别代表信号的到达时间、周期、截止时间和数据大小（以字节为单位）；
- 帧打包后，每个ECU有一组消息 $M_n = {m_{1,n}, m_{2,