📘 RTLA 并发系统建模精要
30章 · 从入门到前沿
🧑🎓
友好色系
01
查看
RTLA概述
并发复杂性
起源与哲学
工业应用
02
查看
核心概念
时间轴
逻辑时钟
事件与状态
03
查看
代数基础
运算符
优先级
结合律
04
查看
模型结构
层次化设计
接口与连接
05
查看
时间约束建模
绝对时间
相对时间
周期性约束
06
查看
并发原语
并行组合
顺序组合
选择
07
查看
同步机制
信号量
管程
08
查看
异步通信
消息传递
通道容量
阻塞语义
09
查看
资源共享
互斥锁
读写锁
10
查看
死锁分析
代数条件
死锁检测
11
查看
活锁与饥饿
活锁识别
饥饿建模
公平性
12
查看
状态空间
状态爆炸
对称性约简
偏序约简
13
查看
模型检验基础
LTL
性质规约
14
查看
自动化验证
SPIN
NuSMV
转换接口
15
查看
仿真与执行
仿真引擎
事件驱动
16
查看
性能建模
响应时间
吞吐量
资源利用率
17
查看
实时调度
RMS
EDF
18
查看
容错建模
故障模型
拜占庭
冗余策略
19
查看
分布式系统
时钟同步
Paxos/Raft
20
查看
嵌入式系统
中断处理
任务抢占
21
查看
多核架构
MESI协议
内存屏障
22
查看
物联网 (IoT)
时间同步
事件流处理
23
查看
汽车电子
AUTOSAR
CAN总线
24
查看
航空航天
ARINC 653
IMA架构
25
查看
工业控制
PLC建模
SCADA
26
查看
工具链
RTLA编译器
模型检查器
可视化调试
27
查看
案例研究一
生产者-消费者
完整建模与验证
28
查看
案例研究二
分布式锁服务
ZooKeeper建模
29
查看
案例研究三
实时音视频
端到端延迟
30
查看
前沿与展望
RTLA+机器学习
量子并发