赵云飞
- 作品数：3 被引量：2H指数：1
- 供职机构：北京广利核系统工程有限公司更多>>
- 相关领域：自动化与计算机技术电气工程电子电信更多>>
- 核电站数字化仪控系统安全保密分析方法研究被引量：2
- 2016年
- 核电站数字化仪控系统的信息安全保密分析是核安全级仪控系统软件验证与确认工作的任务之一。按照相关规定,提出了一种基于核安全级仪控系统软件开发全生命周期过程,结合规则检查分析和基于信息流分析的安全保密分析方法。该方法经应用检验能够证实系统在信息安全保密方面的防范能力,在实际项目中得到应用。
- 尹宝娟丁义行孙王强李幼媛赵云飞程建明
- 关键词：信息流
- 核安全级仪控设备HPD逻辑可靠性分析验证方法
- 2015年
- 随着HPD逻辑在国产化核安全级仪控系统中的广泛应用,HPD逻辑设计的可靠性成为关键,仿真和硬件测试方法可达到的覆盖率低,很难满足核安全级产品可靠性分析验证要求,因而全面系统化的HPD逻辑可靠性分析验证方法是至关重要的。本文提出一种HPD逻辑的可靠性分析验证方法,该方法提出从五个维度分析HPD逻辑的可靠性,分析时采用FMEA和形式化相结合的手段。通过Fit Rel平台系统的FPGA和Firm Sys平台系统的CPLD可靠性分析的实践,表明该方法可全面有效地揭示隐蔽的设计缺陷,保障HPD逻辑设计的可靠性。
- 高玉斌赵云飞
- 关键词：硬件描述语言可靠性逻辑
- 影响安全级网络通信协议确定性的关键要素分析
- 2016年
- 在国产化核安全级仪控系统研制中,实现具备确定性特点的网络通信协议是一项核心关键技术。本文依据核安全级通信网络协议分析验证的实践经验,提出了影响协议确定性的三项最为关键的因素,包括数字化系统的累计特性、离散特性和并行特性,文中阐述了这些影响因素的常见形式、作用原理、控制方式。通过在国产化安全网络研制项目的应用,表明其对协议确定性分析验证实践具有较好的指导性。
- 孙王强尹宝娟周小波龙威赵云飞
- 关键词：安全协议
