基于四重化冗余技术的高可信性计算平台研究
| 摘要 | 第1-5页 |
| Abstract | 第5-11页 |
| 第1章 绪论 | 第11-14页 |
| ·论文工作背景 | 第11-12页 |
| ·论文主要内容 | 第12页 |
| ·论文研究的意义及创新点 | 第12-14页 |
| 第2章 可信性理论及方案调研 | 第14-30页 |
| ·数字计算系统的可信性 | 第14-17页 |
| ·可信性的影响因素 | 第17-19页 |
| ·冗余技术 | 第19-24页 |
| ·功能性冗余技术 | 第20页 |
| ·结构性冗余技术 | 第20-24页 |
| ·国内外相关技术调研 | 第24-28页 |
| ·TYJL 系列计算机联锁控制系统 | 第25页 |
| ·HOLLiAS 系列系统 | 第25-26页 |
| ·西门子故障安全系统 | 第26-27页 |
| ·DS6 系列微机联锁设备 | 第27-28页 |
| ·本章小结 | 第28-30页 |
| 第3章 系统方案选择及改进研究 | 第30-45页 |
| ·系统需求描述 | 第30-31页 |
| ·应用功能需求 | 第30-31页 |
| ·实际系统相关指标 | 第31页 |
| ·系统需求分析 | 第31-43页 |
| ·架构需求分析 | 第31-41页 |
| ·硬件需求分析 | 第41-42页 |
| ·软件需求分析 | 第42-43页 |
| ·需求分析小结 | 第43页 |
| ·四重化冗余结构改进 | 第43-45页 |
| ·传统四重化冗余结构的不足 | 第43页 |
| ·系统方案改进 | 第43-45页 |
| 第4章 四重化冗余竞争结构的可信性分析 | 第45-66页 |
| ·基本假设及基础分析 | 第45-49页 |
| ·不可修复系统 | 第49-56页 |
| ·可靠性与安全性求解 | 第49-53页 |
| ·可靠性与安全性的具体分析 | 第53-56页 |
| ·可修复系统 | 第56-64页 |
| ·基本方程 | 第58-60页 |
| ·连续模型下方程组求解 | 第60-64页 |
| ·可靠性仿真实验 | 第64-66页 |
| 第5章 计算平台硬件设计 | 第66-90页 |
| ·计算平台整体结构 | 第66-67页 |
| ·电源部分 | 第67-70页 |
| ·计算模块 | 第70-71页 |
| ·判别器 | 第71-75页 |
| ·CPU 单元 | 第72-73页 |
| ·片内存储控制模块 | 第73页 |
| ·SPI 通讯模块 | 第73-74页 |
| ·通用输入输出控制模块 | 第74-75页 |
| ·双核系统 | 第75-77页 |
| ·竞争输出单元 | 第77-83页 |
| ·SDRAM 存储控制模块 | 第78页 |
| ·CFI 存储控制模块 | 第78-79页 |
| ·EPCS 配置芯片控制模块 | 第79页 |
| ·UART 通讯模块 | 第79-80页 |
| ·JTAG UART 通讯模块 | 第80-81页 |
| ·字符液晶显示器控制模块 | 第81页 |
| ·定时器模块 | 第81页 |
| ·系统ID | 第81-83页 |
| ·1553B 总线接口 | 第83-86页 |
| ·1553B 总线介绍 | 第83页 |
| ·1553B 总线物理层 | 第83-84页 |
| ·1553B 总线数据链路层 | 第84-85页 |
| ·1553B 总线与FPGA 接口 | 第85-86页 |
| ·PCB 设计及硬件板卡 | 第86-90页 |
| 第6章 计算平台软件设计 | 第90-111页 |
| ·计算平台软件整体构架 | 第90-91页 |
| ·计算单元系统级软件设计 | 第91-94页 |
| ·判别器软件设计 | 第94-97页 |
| ·竞争输出单元软件设计 | 第97-101页 |
| ·竞争冒险极端情况的解决方案 | 第101-103页 |
| ·1553B 远程终端协议实现 | 第103-109页 |
| ·应用层软件 | 第109-111页 |
| 第7章 计算平台实验验证 | 第111-123页 |
| ·实验目的及实验条件 | 第111-112页 |
| ·计算平台实验 | 第112-121页 |
| ·计算平台功能实验验证 | 第112-114页 |
| ·可信性实验 | 第114-115页 |
| ·实时性实验 | 第115-116页 |
| ·竞争冒险极端条件实验 | 第116-119页 |
| ·1553B 总线协议传输实验 | 第119-121页 |
| ·实验结果总结 | 第121-123页 |
| 第8章 结论 | 第123-126页 |
| ·论文工作总结 | 第123-124页 |
| ·论文主要成果 | 第124-125页 |
| ·后续工作展望 | 第125-126页 |
| 参考文献 | 第126-131页 |
| 致谢 | 第131-132页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第132-133页 |
