安全计算机FTSM单元基于模型的设计与实现
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 引言 | 第11-19页 |
| ·论文研究背景和意义 | 第11页 |
| ·安全标准及安全定义 | 第11-15页 |
| ·安全标准IEC 61508 | 第12页 |
| ·安全相关定义 | 第12-15页 |
| ·安全计算机平台与容错安全管理单元 | 第15-16页 |
| ·安全计算机平台发展现状 | 第15-16页 |
| ·容错安全管理单元 | 第16页 |
| ·基于模型的系统开发 | 第16-17页 |
| ·基于模型的发展与特点 | 第16-17页 |
| ·基于模型的相关工具 | 第17页 |
| ·论文的研究内容和组织结构 | 第17-19页 |
| 2 基于IEC 61508的FTSM结构设计 | 第19-35页 |
| ·安全计算机平台结构分析 | 第19-23页 |
| ·分析与计算方法 | 第20-21页 |
| ·安全计算机平台的可靠性计算 | 第21-23页 |
| ·FTSM的结构推导 | 第23-30页 |
| ·安全计算机平台对于FTSM结构的限制 | 第23-24页 |
| ·FPGA单板的失效率计算 | 第24-27页 |
| ·FTSM冗余结构选择 | 第27-30页 |
| ·FTSM模块化 | 第30-31页 |
| ·取二结构的设计 | 第31-34页 |
| ·本章小结 | 第34-35页 |
| 3 基于模型的FTSM实现 | 第35-56页 |
| ·UART模块 | 第37-41页 |
| ·UART发送模块 | 第38-39页 |
| ·UART接收模块 | 第39-41页 |
| ·数据比较模块 | 第41-43页 |
| ·CRC校验模块 | 第43-45页 |
| ·CRC编码模块 | 第45-46页 |
| ·FTSM状态机模块 | 第46-53页 |
| ·移位输出模块 | 第53-54页 |
| ·FTSM的总体模型 | 第54-55页 |
| ·本章小结 | 第55-56页 |
| 4 FTSM的仿真与实验 | 第56-68页 |
| ·基于模型的FPGA仿真 | 第56-64页 |
| ·UART功能的仿真 | 第57-58页 |
| ·CRC功能的仿真 | 第58-59页 |
| ·数据比较功能的仿真 | 第59-61页 |
| ·FTSM状态机功能的仿真 | 第61-64页 |
| ·基于安全计算机测试平台的功能实验 | 第64-67页 |
| ·FPGA板的功能实验 | 第65-67页 |
| ·FTSM二取二结构的实验 | 第67页 |
| ·本章小结 | 第67-68页 |
| 5 结论与展望 | 第68-70页 |
| 参考文献 | 第70-71页 |
| 图索引 | 第71-73页 |
| 表索引 | 第73-74页 |
| 缩略词表 | 第74-75页 |
| 作者简历 | 第75-77页 |
| 学位论文数据集 | 第77页 |
