基于FPGA的CPR1000压水堆保护子系统开发及其验证与确认
| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| 第1章 绪论 | 第13-22页 |
| 1.1 研究背景及意义 | 第13-17页 |
| 1.2 国际标准与导则 | 第17-20页 |
| 1.3 论文结构 | 第20-22页 |
| 第2章 FPGA开发生命周期与V&V体系 | 第22-31页 |
| 2.1 FPGA技术 | 第22-25页 |
| 2.1.1 电子技术 | 第23页 |
| 2.1.2 FPGA基本结构 | 第23-25页 |
| 2.1.3 FPGA技术分类 | 第25页 |
| 2.2 V&V与FPGA生命周期过程 | 第25-29页 |
| 2.2.1 V&V与生命周期过程的关系 | 第25-26页 |
| 2.2.2 FPGA系统V&V生命周期活动 | 第26-28页 |
| 2.2.3 FPGA应用的开发和验证过程 | 第28-29页 |
| 2.3 小结 | 第29-31页 |
| 第3章 系统开发与V&V | 第31-89页 |
| 3.1 反应堆保护子系统 | 第31-35页 |
| 3.1.1 超温度AT保护 | 第31-33页 |
| 3.1.2 超功率AT保护 | 第33-35页 |
| 3.1.3 一次冷却剂流量低保护 | 第35页 |
| 3.2 需求阶段 | 第35-37页 |
| 3.2.1 开发和V&V活动 | 第35-36页 |
| 3.2.2 系统需求规格书 | 第36-37页 |
| 3.2.3 SRS和HRS | 第37页 |
| 3.3 设计阶段 | 第37-61页 |
| 3.3.1 开发和V&V活动 | 第38页 |
| 3.3.2 系统设计 | 第38-40页 |
| 3.3.3 软件架构设计 | 第40-45页 |
| 3.3.4 软件详细设计 | 第45-53页 |
| 3.3.5 硬件架构设计 | 第53-54页 |
| 3.3.6 硬件详细设计 | 第54-55页 |
| 3.3.7 软件测试计划 | 第55-59页 |
| 3.3.8 硬件测试计划 | 第59-61页 |
| 3.4 实现阶段 | 第61-66页 |
| 3.4.1 开发与V&V活动 | 第61-62页 |
| 3.4.2 HDL代码规范 | 第62-63页 |
| 3.4.3 代码列表 | 第63-64页 |
| 3.4.4 软件组件测试 | 第64-66页 |
| 3.5 集成阶段 | 第66-81页 |
| 3.5.1 开发与V&V活动 | 第67-68页 |
| 3.5.2 软件集成 | 第68-69页 |
| 3.5.3 软件集成测试 | 第69-74页 |
| 3.5.4 硬件集成 | 第74页 |
| 3.5.5 硬件集成测试 | 第74-77页 |
| 3.5.6 系统集成 | 第77页 |
| 3.5.7 系统集成测试 | 第77-81页 |
| 3.6 验收确认阶段 | 第81-88页 |
| 3.6.1 V&V活动 | 第82页 |
| 3.6.2 系统验收测试 | 第82-88页 |
| 3.7 小结 | 第88-89页 |
| 第4章 总结与展望 | 第89-91页 |
| 4.1 工作总结 | 第89-90页 |
| 4.2 问题总结与工作展望 | 第90-91页 |
| 第5章 缩略语 | 第91-93页 |
| 参考文献 | 第93-95页 |
| 致谢 | 第95页 |
