本页目录 · 11 节
- 一、分值定位
- 二、嵌入式系统基础
- 2.1 体系结构（四层）
- 2.2 处理器的两种体系结构
- 2.3 处理器类型
- 2.4 总线
- 2.5 低功耗设计
- 三、实时系统
- 3.1 分类
- 3.2 实时调度算法
- 3.3 实时操作系统（RTOS）
- 3.4 混成系统（Hybrid System）
- 3.5 CPS（信息物理系统）三层
- 四、可靠性计算（纯送分，必须全对）
- 4.1 基本公式
- 4.2 典型题型
- 4.3 容错设计
- 4.4 CRC 计算（2018 下 13）
- 五、安全攸关与标准
- 六、性能评价
- 七、跨年真题定位索引
- 八、典型陷阱
- 九、答题模板
- 模板 A：可靠性计算（3 分钟）
- 模板 B：嵌入式案例"实时任务设计"四问
- 模板 C：CPS/物联网分层题（2019 下案例三、2026 上案例四）
- 模板 D：论文"论软件可靠性评价"
- 十、自测清单
- 十一、来源与可信度
知识域 08 · 嵌入式、实时系统与可靠性计算
题号指向
../01-年份索引/<年份>-套卷.md。标记：〔核〕/〔推〕/〔存疑〕。
一、分值定位
| 科目 | 频率 | 形态 |
|---|---|---|
| 综合知识 | 每套 4—7 题（6—11 分） | 处理器结构、总线、实时调度、可靠性计算、AI 芯片、低功耗 |
| 案例分析 | 高频（几乎年年有一道嵌入式选做题，且是"最好写"的那道） | CPS 分层、实时任务、云边协同、ROS、安全攸关 |
| 论文 | 低频（2023 下论文四"论软件的可靠性评价"） | 可用可靠性素材 |
两个得分引擎：可靠性计算（纯公式，必拿）+ 嵌入式案例（套路固定，必选）。
二、嵌入式系统基础
2.1 体系结构（四层）
应用层（业务功能）
系统软件层（RTOS、文件系统、GUI、网络协议栈）
中间层（BSP 板级支持包 / HAL 硬件抽象层 / 嵌入式中间件）
硬件层（处理器、存储器、I/O 接口、总线）真题：2022 下 12（嵌入式中间件）、2024 下选做 3（ROS/ROS2）。
2.2 处理器的两种体系结构
| 结构 | 特点 | 用途 |
|---|---|---|
| 冯·诺依曼 | 程序与数据共用同一存储空间与总线 | 通用 CPU |
| 哈佛 | 程序与数据分离存储、独立总线，可同时取指与取数 | DSP、单片机（如 8051、ARM Cortex-M 部分） |
母题（2018 下 9，〔推〕答案 B）：DSP 采用哈佛结构。
2.3 处理器类型
| 类型 | 特点 | 场景 |
|---|---|---|
| MCU | 集成 CPU+存储+外设，低功耗低成本 | 家电、工控 |
| DSP | 哈佛结构、硬件乘加、流水线，擅长信号处理 | 音频/图像/通信 |
| SoC | 一颗芯片集成 CPU、GPU、NPU、外设 | 手机、智能终端 |
| GPU | 大量并行核心，高吞吐浮点 | 图形、深度学习训练 |
| NPU/TPU | 专用矩阵运算单元，低功耗高能效 | 端侧/云侧 AI 推理 |
| FPGA | 可编程逻辑，硬件可重构 | 原型验证、低延迟场景 |
真题：2021 下 9（SoC）、2022 下 10—11（GPU 峰值、AI 芯片）、2023 下 47—48（C 语言实现 ML、NPU）。
GPU 峰值性能 = 核心数 × 每核心每周期浮点运算数 × 频率（注意单/双精度）。
2.4 总线
| 维度 | 类型 | 说明 |
|---|---|---|
| 传输方式 | 串行 / 并行 | 串行按位传输，线少、抗干扰、适合长距离；并行多位同时，线多、易串扰 |
| 通信方向 | 单工 / 半双工 / 全双工 | 全双工可同时收发 |
| 同步方式 | 同步 / 异步 | 异步靠起始位/停止位（如 UART） |
常见工业/车载总线：
| 总线 | 特点 |
|---|---|
| I2C | 两线（SCL/SDA）、多主多从、低速 |
| SPI | 四线、全双工、高速 |
| UART | 异步串行、点对点 |
| CAN | 多主、差分、优先级仲裁、抗干扰，车载经典 |
| 1553B | 军用航空总线，命令/响应式，集中控制 |
| AFDX / ARINC664 | 航空以太网，虚拟链路、确定性时延 |
| FlexRay | 车载，时间触发 + 事件触发，高可靠 |
| SOME/IP / DDS | 车载以太网服务通信（2024 下选做 3） |
母题（2018 下 10，〔存疑〕答案 C）：串行总线按位传输——表述正确，但"数据正确性依赖校验码纠正"不严谨（多数校验码只能检错），故标存疑。
2.5 低功耗设计
| 层次 | 手段 |
|---|---|
| 硬件 | 低功耗工艺、多电压域、动态电压频率调节（DVFS）、时钟门控、电源门控 |
| 系统 | 休眠/唤醒策略、外设按需供电 |
| 软件 | 编译优化、算法优化（降低复杂度/减少访存）、软硬件协同设计 |
母题（2018 下 11，〔推〕答案 D）：软件低功耗设计 = 编译优化技术、软硬件协同设计和算法优化。
三、实时系统
3.1 分类
| 类型 | 违约后果 | 例 |
|---|---|---|
| 硬实时 | 后果灾难性，绝不允许超时 | 飞控、刹车、起搏器 |
| 软实时 | 性能下降，可容忍偶尔超时 | 视频播放、人机交互 |
| 固实时（firm） | 超时结果无价值但不致灾 | 部分工业控制 |
真题：2020 下 4、2025 下 55、2026 上 39（强实时设计）。
3.2 实时调度算法
| 算法 | 规则 | 特点 |
|---|---|---|
| RMS（速率单调） | 周期越短，优先级越高（静态） | 可调度性判定：Σ(Ci/Ti) ≤ n(2^(1/n) − 1)，n→∞ 时约 69.3% |
| EDF（最早截止期优先） | 截止期越近优先级越高（动态） | 利用率可达 100%，但过载时表现差 |
| 优先级反转 | 低优先级任务持锁阻塞高优先级 | 解法：优先级继承、优先级天花板 |
真题：2019 下 11、2025 上 18。
3.3 实时操作系统（RTOS）
- 特征：确定性（可预测的响应时间）、抢占式调度、中断延迟小、内核可裁剪、可靠性高。
- 分类：硬实时 RTOS（VxWorks、RTEMS）、软实时（Linux+RT 补丁）、通用 OS 加实时扩展。
- 微内核：只保留调度、IPC、内存管理，其余移到用户态 → 可靠、易扩展，但 IPC 开销大。
- 真题：2021 下 10、2021 下 9、2025 上 16、2023 下 29。
3.4 混成系统（Hybrid System）
同时包含连续动态（物理过程，微分方程描述）与离散跳变（计算/控制逻辑）的系统，CPS 是典型代表。
真题：2019 下 12。
3.5 CPS（信息物理系统）三层
| 层 | 作用 | 例 |
|---|---|---|
| 感知层 | 采集物理世界数据 | 传感器、采集器 |
| 网络层 | 传输数据、互联 | 总线、网关、无线 |
| 控制层 | 计算决策、执行控制 | 控制器、执行器 |
2019 下案例三：要求判断"飞行传感器管理/步进电机控制/显控/发电机控制/环控/配电管理/转速传感器/传感器总线/飞行员/火警信号探测"各属哪层——传感器/探测→感知层；总线→网络层；控制/显控/管理→控制层；飞行员属人（不属于任何一层）。
三类安全威胁：感知层（传感器伪造/篡改）、网络层（窃听/重放/中间人）、控制层（恶意控制指令/算法劫持）。
四、可靠性计算（纯送分，必须全对）
4.1 基本公式
| 模型 | 公式 | 记忆 |
|---|---|---|
| 串联 | R = R₁ × R₂ × … × Rₙ | 越多越不可靠 |
| 并联 | R = 1 − (1−R₁)(1−R₂)…(1−Rₙ) | 越多越可靠 |
| 混联 | 先并后串 / 先串后并，逐层化简 | 画图分层算 |
| 失效率 | λ（单位时间失效概率） | — |
| 可靠度 | R(t) = e^(−λt) | 指数分布 |
| MTBF | MTBF = 1/λ | 平均无故障时间 |
| 可用性 | A = MTBF / (MTBF + MTTR) | 与维修性挂钩 |
4.2 典型题型
- 串并联混合：给 3—5 个部件的可靠度，求系统可靠度（2026 下 17—18、2022 下 16—17、2023 下 24）。
- 给失效率求 MTBF（2026 上 29、2025 下 24）。
- N 版本程序设计：N 个独立版本 + 表决器，可靠度按并联思路提升（2024 下 45）。
- 可用性计算：A = MTBF/(MTBF+MTTR)。
例（2026 下 17—18 型）：两个并联模块各 R=0.9，再与一个 R=0.9 串联 →
并联部分 = 1−(0.1)² = 0.99；系统 = 0.99 × 0.9 = 0.891。
4.3 容错设计
| 手段 | 说明 |
|---|---|
| 硬件冗余 | 双机热备、三模冗余（TMR）+ 表决 |
| 软件冗余 | N 版本程序设计（独立开发多版本，表决输出）、恢复块（主块+备用块+验收测试） |
| 时间冗余 | 重试、重复执行 |
| 信息冗余 | 校验码（CRC、海明码）、纠错码 |
| 故障分类 | 故障（fault）→ 错误（error）→ 失效（failure） |
真题：2023 下 25、2024 上 51（健壮性）、2018 下 13（CRC）。
4.4 CRC 计算（2018 下 13）
① 生成多项式 G(x) 的位数 n → 在信息码后补 n−1 个 0
② 用模 2 除法（异或，不借位）除以 G(x) 对应的位串
③ 余数即为 CRC 校验码（长度 = n−1）母题：信息码 111000110，G(x)=x⁵+x³+x+1 → 位串 101011（6 位）→ 补 5 个 0 → 模 2 除 → 余数 11001（〔推〕答案 B）。
五、安全攸关与标准
| 标准/概念 | 要点 |
|---|---|
| DO-178B/C | 机载软件适航标准，按失效后果分 DAL A—E 五级（A 最严） |
| IEC 61508 / SIL | 功能安全，SIL 1—4 |
| ISO 26262 / ASIL | 汽车功能安全，ASIL A—D（D 最严） |
| Safety vs Security | Safety=不对人/环境造成伤害；Security=防恶意攻击 |
| 危险驱动分析 | 从"危险（Hazard）"反推安全需求（2024 下选做 5 胰岛素泵） |
真题：2026 上 67—68（DO-178B）、2024 下选做 5。
六、性能评价
| 指标/方法 | 说明 |
|---|---|
| 基准程序（Benchmark） | 用一组标准程序评测，如 SPEC；缺点：可能不代表真实负载 |
| MIPS / MFLOPS | 每秒百万指令/浮点运算 |
| Amdahl 定律 | 加速比 = 1 / ((1−p) + p/s)，p 为可并行比例，s 为并行度 |
| 响应时间 / 吞吐量 | 实时系统看最坏响应时间（WCET） |
真题：2025 下 21、2019 下 16—17、2021 下 16—17。
七、跨年真题定位索引
| 年份 | 题号/案例 | 考点 |
|---|---|---|
| 2026 下 | 3 / 17—18 / 19 | MMIO、可靠性串并联、缺陷排除效率 |
| 2026 下 | 案例五 | 嵌入式系统引入 AI |
| 2026 上 | 39 / 67—68 | 强实时设计、DO-178B |
| 2026 上 | 案例四 | AIoT 云边协同 |
| 2025 下 | 21 / 24 / 25 / 27 / 31 / 42 / 55 | 基准程序、可靠性失效概率、可靠性测试、嵌入式性能指标、动态链接、嵌入式建模、实时性 |
| 2025 下 | 试题 4 | 嵌入式与 AI 融合 |
| 2025 上 | 16 / 18 / 31 / 37 | 嵌入式 OS 分类、实时调度、芯片等级、性能测试 |
| 2025 上 | 选做 3 | 云 AI vs 端 AI |
| 2024 下 | 45 / 选做 3 / 选做 5 | N 版本可靠性、ROS/ROS2、危险驱动安全分析 |
| 2024 上 | 49 / 51 / 59—60 / 65 / 67—68 | 可靠性指标、健壮性、采样频率、曼彻斯特编码、灾难恢复、嵌入式架构 |
| 2023 下 | 19—20 / 24—25 / 46—48 | 单 CPU 多任务/IO 通道、可靠性计算与设计、嵌入式设计因素、C 语言 ML、NPU |
| 2022 下 | 9—12 / 16—17 | 鸿蒙 OS、GPU 峰值、AI 芯片、嵌入式中间件、可靠性 |
| 2022 下 | 试题三 | 分布式综合化电子系统故障检测 |
| 2021 下 | 9—10 / 12 / 16—17 | SoC、嵌入式实时 OS、AI 芯片、性能测试 |
| 2020 下 | 4 / 15—17 | 实时系统、网络延迟、系统监视 |
| 2020 下 | 试题三 | 宇航 FACE 开放式架构 |
| 2019 下 | 9—12 / 16—17 | 软件安全性需求、实时调度、混成系统、基准测试 |
| 2019 下 | 案例三 | CPS 定义与三层 |
| 2018 下 | 9—13 | DSP 哈佛结构、串行总线、低功耗、主频、CRC |
| 2018 下 | 案例三 | 宇航嵌入式实时系统 + 腰型 BMTS |
| 2023 下 | 论文四 | 软件的可靠性评价 |
八、典型陷阱
- 冯·诺依曼 vs 哈佛：DSP 是哈佛（程序数据分离），通用 CPU 是冯·诺依曼。
- 主频 = 外频 × 倍频（2018 下 12：200MHz × 13 = 2.6GHz），单位换算别丢。
- 串联越加越不可靠、并联越加越可靠——题干若给"提高可靠性"应加并联冗余。
- MTBF = 1/λ，不是 λ 的倒数关系搞反；λ 单位是"次/小时"。
- RMS 可调度上限约 69.3%（n 很大时），EDF 可达 100%——两者常被互换设陷阱。
- 优先级反转的解法是"优先级继承"，不是"提高优先级"或"关闭中断"。
- 硬实时/软实时看"违约后果"而非"响应时间长短"。
- CRC 是检错不是纠错（海明码可纠错）。
- N 版本程序设计要求版本独立开发（不同团队/不同算法），否则共因失效。
- Safety ≠ Security：前者防"意外"，后者防"恶意"。
- DO-178B 的 DAL 等级 A 最严，不是 E。
- 串行总线不等于低速（现代串行总线如 PCIe 速率极高）。
九、答题模板
模板 A：可靠性计算（3 分钟）
① 画框图：把"串联/并联/表决"关系画出来
② 先算并联：R并 = 1 − Π(1−Ri)
③ 再算串联：R串 = ΠRi
④ 分层化简直到只剩一个数
⑤ 检查：结果必须 ≤ 最不可靠的串联单元，且并联部分 ≥ 任一单件模板 B：嵌入式案例"实时任务设计"四问
① 判实时性：违约后果 → 硬/软实时
② 定调度：周期任务用 RMS（静态优先级）或 EDF（动态）；给出可调度性判定
③ 解共享资源：优先级继承/天花板，避免优先级反转；临界区尽量短
④ 保确定性：估算 WCET、预留余量、看门狗、双机热备模板 C：CPS/物联网分层题（2019 下案例三、2026 上案例四）
感知层：传感器、采集器、探测装置、RFID、摄像头
网络层：总线、网关、交换机、无线（NB-IoT/LoRa/5G）、协议转换
控制层（平台/应用层）：控制器、执行器、算法、显控、管理平台
人（操作员/飞行员）：不属于任何技术层模板 D：论文"论软件可靠性评价"
一、背景（300 字）：系统可靠性要求（如年可用性 99.99%）
二、方法（500 字）：可靠性指标（MTBF/MTTR/失效率）、模型（串联/并联/马尔可夫）、
测试（可靠性增长测试、加速寿命试验）、N 版本与冗余设计
三、实践（700 字）：如何度量、如何定位薄弱环节、如何改进（冗余/降级/隔离）
四、效果（200 字）：MTBF 从 X 提升到 Y、故障率下降 Z%十、自测清单
- [ ] 说出哈佛与冯·诺依曼的区别，并指出 DSP 属于哪种
- [ ] 说出 MCU/DSP/SoC/GPU/NPU/FPGA 的适用场景
- [ ] 说出串行与并行总线的优缺点，列举 5 种工业总线
- [ ] 说出软件低功耗设计的三种手段
- [ ] 区分硬/软/固实时，说出 RMS 与 EDF 的区别及 RMS 的 69.3% 上限
- [ ] 解释优先级反转及两种解法
- [ ] 默写串联/并联可靠度公式、MTBF 与 λ 关系、可用性公式
- [ ] 3 分钟内算对一道混联可靠度题
- [ ] 手算一次 CRC（模 2 除法）
- [ ] 说出 CPS 三层及各层典型设备
- [ ] 说出 DO-178B 的 DAL 分级与 ISO 26262 的 ASIL 分级
十一、来源与可信度
- 处理器结构、总线、实时调度、可靠性公式为教材与行业标准内容，可信度高。
- 2018 下 9—13 为〔推〕：其中第 9 题（哈佛）、第 11 题（低功耗）、第 12 题（2.6GHz）、第 13 题（CRC=11001）已复算/交叉验证；第 10 题标注〔存疑〕（选项表述不严谨）。
- 2019 下案例三的 CPS 分层判断依据教材"感知层/网络层/控制层"定义，个别设备（如"显控"）归属存在解释空间，已在套卷注明。