二乘二取二安全计算机平台中倒机单元的设计与实现
致谢 | 第1-6页 |
中文摘要 | 第6-7页 |
ABSTRACT | 第7-8页 |
目录 | 第8-11页 |
1 绪论 | 第11-17页 |
·选题背景和意义 | 第11-12页 |
·安全计算机硏究与发展状况 | 第12-13页 |
·COTS技术发展状况 | 第13-14页 |
·论文的主要成果 | 第14-15页 |
·论文的组织结构 | 第15-16页 |
·本章小结 | 第16-17页 |
2 安全计算机平台总体方案设计 | 第17-28页 |
·安全计算机原理 | 第17-19页 |
·安全计算机的概念 | 第17页 |
·安全可靠性保障技术 | 第17-19页 |
·安全计算机平台需求分析 | 第19页 |
·安全计算机平台的结构选择 | 第19-22页 |
·平台总体结构设计 | 第22-23页 |
·系统处理器选型 | 第23-27页 |
·MPC5643L内部结构 | 第23-24页 |
·功能特点 | 第24-25页 |
·功能性安全概念 | 第25-27页 |
·本章小结 | 第27-28页 |
3 安全计算机平台功能设计 | 第28-51页 |
·系内同步和数据比较设计 | 第28-30页 |
·系内同步设计 | 第28-29页 |
·系内比较设计 | 第29-30页 |
·系间同步设计 | 第30-33页 |
·单系的工作状态 | 第30-31页 |
·主备状态跟随 | 第31-33页 |
·系统通信设计 | 第33-36页 |
·通信的安全防护措施 | 第33-34页 |
·安全通信协议设计 | 第34-36页 |
·系统故障检测 | 第36-50页 |
·故障分析和检测方法 | 第36-37页 |
·故障定义原则 | 第37-38页 |
·故障检测相关模块 | 第38-50页 |
·本章小结 | 第50-51页 |
4 基于软硬件结合的倒机方式 | 第51-65页 |
·总体结构设计 | 第51页 |
·故障-安全接口电路 | 第51-52页 |
·倒机电路设计 | 第52-57页 |
·倒机电路总体结构设计 | 第52-53页 |
·继电器驱动与状态采集电路 | 第53-56页 |
·继电器逻辑电路 | 第56-57页 |
·动态脉冲的实现 | 第57-59页 |
·系间通信设计 | 第59-60页 |
·倒机逻辑设计 | 第60-61页 |
·倒机的基本原则 | 第60页 |
·主备状态的确定 | 第60页 |
·双系倒机 | 第60-61页 |
·双系热备的软件实现 | 第61-64页 |
·本章小结 | 第64-65页 |
5 基于通信的倒机方式 | 第65-82页 |
·总体结构设计 | 第65-66页 |
·通信接口电路设计 | 第66-67页 |
·FPGA和MPC5643L接口设计 | 第67-68页 |
·FPGA发送端设计 | 第68-75页 |
·FPGA接收端设计 | 第75-79页 |
·倒机逻辑设计 | 第79-81页 |
·倒机的基本原则 | 第79页 |
·主备状态的确定 | 第79-80页 |
·双系倒机 | 第80-81页 |
·本章小结 | 第81-82页 |
6 安全计算机平台的测试 | 第82-96页 |
·系统的调试 | 第82-83页 |
·故障检测相关模块的测试 | 第83-86页 |
·基于软硬件结合的倒机方式测试 | 第86-90页 |
·倒机电路的测试 | 第86-87页 |
·MPC5643L板+倒机电路联调 | 第87-89页 |
·串口通信测试 | 第89-90页 |
·基于通信的倒机方式测试 | 第90-95页 |
·通信接口电路的测试 | 第91-93页 |
·MPC5643L+通信接口电路联合测试 | 第93-95页 |
·本章小结 | 第95-96页 |
7 总结与展望 | 第96-99页 |
·总结 | 第96-97页 |
·两种倒机方式对比分析 | 第97页 |
·展望 | 第97-99页 |
参考文献 | 第99-103页 |
作者简历 | 第103-107页 |
学位论文数据集 | 第107页 |