| 摘要 | 第1-5页 |
| Abstract | 第5-11页 |
| 第一章 绪论 | 第11-27页 |
| ·论文研究的动机 | 第11-12页 |
| ·国内外发展现状 | 第12-22页 |
| ·实时通信网络技术发展现状 | 第12-17页 |
| ·实时通信网络介质访问控制机制 | 第12-15页 |
| ·实时以太网 | 第15-17页 |
| ·安全关键实时通信网络发展现状 | 第17-22页 |
| ·事件触发的安全关键实时通信网络 | 第17-19页 |
| ·时间触发的安全关键实时网络 | 第19-21页 |
| ·基于以太网的安全关键实时网络 | 第21-22页 |
| ·论文研究的目的 | 第22-24页 |
| ·论文的主要工作 | 第24-27页 |
| 第二章 功能安全(Functional Safety) | 第27-40页 |
| ·功能安全的基本原理 | 第27-28页 |
| ·基本概念 | 第28-33页 |
| ·可靠性与安全性 | 第29页 |
| ·危险与风险 | 第29页 |
| ·失效,差错,故障 | 第29-33页 |
| ·险分析 | 第33-34页 |
| ·危险识别 | 第33-34页 |
| ·风险评估 | 第34页 |
| ·安全完整性等级 | 第34-37页 |
| ·允许风险的确定原则 | 第36-37页 |
| ·Safety Case | 第37-40页 |
| ·Safey Case的组成元素 | 第37-38页 |
| ·Safety Case的结构 | 第38-40页 |
| ·面向过程与面向证据的Safety Case | 第38页 |
| ·Safety Case的结构 | 第38-40页 |
| 第三章 NOP协议的设计 | 第40-68页 |
| ·节点顺序概念 | 第40-41页 |
| ·系统模型 | 第41-42页 |
| ·故障假设 | 第42-44页 |
| ·NOP协议的设计 | 第44-54页 |
| ·协议的初始化 | 第44-46页 |
| ·协议的通信语义 | 第46-54页 |
| ·介质访问控制 | 第47-50页 |
| ·帧格式 | 第50-52页 |
| ·重传机制 | 第52-53页 |
| ·超时机制 | 第53-54页 |
| ·NOP协议的差错检测和诊断机制 | 第54-63页 |
| ·NOP协议的出错检测机制 | 第55-57页 |
| ·故障诊断机制 | 第57-63页 |
| ·NOP协议状态机 | 第63-68页 |
| 第四章 NOP协议的验证 | 第68-96页 |
| ·NOP协议的验证框架 | 第68-71页 |
| ·NOP协议的验证过程 | 第71-96页 |
| ·系统级FMEA分析 | 第71-80页 |
| ·确定系统边界与系统功能 | 第72页 |
| ·确定潜在失效模式和原因 | 第72-78页 |
| ·改进措施 | 第78-80页 |
| ·基于SPIN的形式化验证过程 | 第80-84页 |
| ·SPIN基本介绍 | 第80-81页 |
| ·PROMELA规范描述语言 | 第81页 |
| ·线性时序逻辑 | 第81-82页 |
| ·基于模型检测的形式化验证过程 | 第82-84页 |
| ·NOP协议的建模 | 第84-86页 |
| ·性质刻画 | 第86-89页 |
| ·验证 | 第89-96页 |
| ·验证模型的状态约简 | 第89-90页 |
| ·验证结果 | 第90-96页 |
| 第五章 NOP协议性能评测 | 第96-113页 |
| ·NOP协议的性能分析 | 第96-108页 |
| ·无故障情况下NOP协议的延迟 | 第97-103页 |
| ·NOP协议栈的传输延迟 | 第98-99页 |
| ·NOP协议的介质访问延迟 | 第99-103页 |
| ·NOP协议对非周期数据的支持 | 第103-104页 |
| ·引入故障模式时的性能分析 | 第104-105页 |
| ·协议的吞吐量分析 | 第105-107页 |
| ·小结 | 第107-108页 |
| ·NOP协议的灵活性 | 第108-110页 |
| ·NOP协议的可组合性 | 第110-113页 |
| ·可组合性条件 | 第110-111页 |
| ·NOP协议可组合性的实现 | 第111-113页 |
| 第六章 NOP协议在容错系统中的应用 | 第113-119页 |
| ·复本确定性(Replica Determinism) | 第114-115页 |
| ·复本确定性的定义 | 第114页 |
| ·实现复本确定性对通信协议的需求 | 第114-115页 |
| ·复本确定性的实现方式 | 第115-119页 |
| ·通用的外部通信服务实现方式 | 第115-116页 |
| ·复本确定性在时间触发协议中的实现 | 第116-117页 |
| ·复本确定性在NOP协议中的实现 | 第117-119页 |
| 第七章 结论与展望 | 第119-122页 |
| 参考文献 | 第122-132页 |
| 在学期间完成的学术论文 | 第132-134页 |
| 致谢 | 第134-135页 |
| 附录A:NOP协议的SPIN故障模型 | 第135-143页 |