📘 实时系统需求分析
时序规格定义
⏱️ 30章 · 完整目录
🎯 硬实时 · 软实时
🧩 时序逻辑 · 模型检验
🚀 TSN · AI实时
01
实时系统概述
定义、分类（硬/软实时）、典型应用场景
02
实时系统核心特征
确定性、可预测性、时间约束、可靠性
03
需求分析基础
业务/用户/系统需求 · 功能与非功能
04
实时需求捕获
利益相关者分析 · 场景建模 · 用例图(UML)
05
时间约束建模
Deadline · Period · 响应时间 · Jitter
06
需求规格文档
IEEE 830 · RSL · 自然语言 vs 形式化
07
时序规格定义
什么是时序规格 · 为什么需要 · 与需求关系
08
时序逻辑基础
LTL · CTL · 时序算子(G,F,X,U)
09
状态机与自动机
FSM · Timed Automata · UML状态图
10
Petri网基础
库所/变迁网 · 时间Petri网 · 可达性分析
11
同步语言与模型
Lustre · Signal · Esterel · 同步假设
12
数据流模型
SDF · CSDF · 多速率数据流
13
任务模型
周期/偶发/非周期 · WCET · BCET · 截止时间
14
调度分析基础
RMS · EDF · 单调速率调度
15
可调度性分析
RTA · 利用率测试 · 忙周期分析
16
资源约束与共享
优先级反转 · 继承协议 · 天花板协议
17
通信时序分析
CAN总线 · TTEthernet · 时间触发架构(TTA)
18
端到端时序分析
流水线延迟 · 同步延迟 · 多跳网络延迟
19
时序验证方法
模型检验 · 定理证明 · 运行时验证
20
模型检验工具
UPPAAL · NuSMV · Times · 时间自动机
21
抽象与精化
CEGAR · 谓词抽象 · 时间抽象
22
时序约束语言
TDL · AADL · MARTE
23
需求追踪与变更管理
追溯矩阵 · 影响分析 · 版本控制
24
实时操作系统基础
任务管理 · 中断管理 · 时钟与定时器
25
RTOS时序服务
周期处理 · 超时 · 时间片 · 高精度定时
26
分布式实时系统
时钟同步(PTP/NTP) · 分布式截止时间 · 全局调度
27
安全关键系统
DO-178C · IEC 61508 · ISO 26262 · 时序完整性
28
案例分析：ACC
汽车自适应巡航控制 · 时序需求与规格
29
案例分析：无人机飞控
实时需求分析 · 时序验证
30
前沿趋势
TSN · AI实时系统 · 形式化方法工业应用