论文部分内容阅读
核电作为一种新兴的能源工业,对保证国家能源安全具有非常重要的意义,核电行业已经进入快速发展、规模发展、多元发展的新阶段。核电数字化保护系统是电站安全、可靠、经济运行的关键装备,对我国核电事业的发展具有重要的意义。核电数字化保护系统工程样机是一个多处理器系统,基于软件的反应堆保护系统具有设计简单、容易实现复杂的保护算法、应用灵活等特点,但同时也带来了系统安全性的问题。核电数字化保护系统的测试与验证是决定系统安全性的重中之重。本论文针对核电数字化保护系统的重要功能卡件——SBC二进制信号调理卡,研究SBC卡的测试与验证技术,主要做了以下工作:1.进行了核电数字化保护系统的系统芯片和软件测试与验证的研究,并在遵循核级硬件、软件测试流程的基础上,提出了关于核电数字化保护系统的SBC卡的详细测试与验证方案。2.介绍了系统芯片和软件测试与验证系统的设计方法,分析了核电数字化保护系统的结构,研究了基于系统芯片的硬件验证、软件验证以及软件/硬件协同验证的系统测试平台以及层次化测试平台的搭建,创建了核电数字化保护系统的SBC卡的测试与验证的结构及其流程。3.详细介绍了SBC卡的系统测试设计方案,阐明了SBC卡的功能及其逻辑结构,并在此基础上,建立起了SBC卡的系统测试平台。4.主要介绍I2C控制器的集成测试的设计方案,介绍了I2C总线的协议模型、报文结构和通信原理以及异步FIFO模块的存储机制,搭建了I2C控制器的测试平台;5.针对SBC卡的软件测试与验证的分层结构,提出了SBC卡的测试与验证的详细方案,并具体展开阐述了系统芯片功能块级硬件验证、网表验证、I2C控制器的集成测试、SBC卡的系统测试以及SBC卡的性能测试,并相应的给出了测试程序、仿真结果以及测试报告。