王晓燕
- 作品数：24 被引量：9H指数：2
- 供职机构：北京广利核系统工程有限公司更多>>
- 相关领域：自动化与计算机技术电气工程核科学技术机械工程更多>>
- 一种通信协议的验证方法和装置
- 本发明涉及一种通信协议的验证方法和装置，属于通信技术领域，解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后，协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力，包括：分析通信协议的协...
- 周小波江国进白涛张亚栋杜乔瑞徐先柱王晓燕张俊清
- 核级DCS平台软硬件质量控制的分析与改进建议
- 2023年
- 经过多年的发展,软件V&V作为提供核级软件质量可信性证明的手段、硬件鉴定作为提供核级硬件设备可信性证明的手段已经是核电行业的广泛共识。随着人们对不同核电标准体系理解认识的深入,以及现场发生问题的反馈,核级DCS平台需要进一步提高软件和硬件的质量以满足后续核电建设越来越高的质量要求。本文作者基于多年从事核级DCS平台质量控制工作以及参与英国GDA项目认证过程获得的经验,从过程、技术、工具、人员能力等方面介绍了核级DCS平台软硬件质量控制实践,分析并提出了仍需重点关注的质量控制方面的一些改进建议,供从业人员参考。
- 王金全左新王晓燕武方杰杜乔瑞王国云彭超刘立华
- 自主核安全级数字化仪控平台软件验证与确认技术研究及应用
- 张亚栋江国进柴建设孙永滨郎爱国白涛王忠秋季宗涛章丹毛从吉王晓燕冀建伟毋琦杜乔瑞吕秀红
- 核安全级仪控系统是整个核电站的“神经中枢”，之前中国核安全级仪控系统主要依靠进口，为了打破国外厂商垄断的局面，广利核公司自主研发国内首套完全自主知识产权核安全级仪控平台（和睦系统），根据国家核安全法规、导则和相关标准等要...
- 关键词：
- 关键词：核电站
- 形式化验证方法用于核电厂数字化仪控系统HPD验证的探索与实践被引量：1
- 2012年
- 为提高核电厂数字化仪控系统中HPD(HDL-Programmed Device)验证工作的效率和有效性,从而帮助提高仪控系统可靠性,引入形式化验证方法。形式化验证方法与传统的基于功能仿真的验证方法相比可以更有效地发现系统设计中的错误,更充分地验证系统设计,更方便地对验证流程进行管理。目前基于断言的形式化验证方法已经在大规模ASIC设计,以及数字通信领域HPD设计的功能验证中取得了成功,本文将这一方法引入核安全级系统HPD验证实践中,主要介绍HPD形式化验证的特点、原理和方法,以及其在FirmSys系统安全级HPD验证工作中的初步应用。
- 吴飞张亚栋程建明王晓燕
- 关键词：形式化验证可编程逻辑器件可靠性
- 应用于核电站SCDS响应时间的测试方法与实践被引量：1
- 2023年
- 安全控制显示系统(以下简称为SCDS)是北京广利核系统工程有限公司自主研发的执行核电站B类安全功能的控制显示系统,对比公司自主开发的实现核电站A类安全功能的控制显示单元,需对新增的输入响应时间,以及支持用户通过鼠标操作的响应时间进行测试,但国内行业未有同类系统测试方法可借鉴,且一般工业显示设备响应时间的传统测试方法误差较大,精度很难满足该系统的要求。本文基于SCDS本身的特点,改进传统的一些系统响应时间测试方法,并开展相应良好实践,提高了SCDS响应时间测试结果的准确度和可信性,事实说明建立的响应时间测试方法可以被业界进行同类系统的验证活动所借鉴。
- 李玉杰王晓燕杜乔瑞黄君龙
- 关键词：核电站
- 商品级软件CGD关键特性识别研究被引量：1
- 2019年
- 随着商品级软件在数字化仪控系统中逐步得到应用,为确保核安全,需对商品级软件执行适用性评价和验收(CGD),其中,关键特性的识别是执行CGD活动一个重要的步骤。本文提出从系统的角度识别商品级软件的功能性能特性;依据IEC 60880和IEC 62138,参考软件质量模型,从软件设计特性、软件设计过程体系和使用经验3个维度识别可信性特性。该方法已在实践中得到应用,可供同行借鉴。
- 孙王强王晓燕杜乔瑞徐先柱王嫘
- 关键词：CGD
- 面向对象测试方法在核电站仪控服务器软件测试中的研究与应用
- 2024年
- 核电站仪控服务器软件是由面向对象程序语言实现的核电专用设备软件,具有面向对象软件独有的特性,如抽象、继承、封装、多态等,使其与面向过程语言实现的软件相比更加灵活、复杂、多变,增加了测试的复杂度,增加了测试的难度,使得传统的测试技术在核电站仪控服务器软件的测试中越来越困难,越来越难以保证测试的充分性、完整性。为此,结合核电站仪控系统服务器软件运算过程复杂的特点,提出了一种针对核电站仪控服务器软件的面向对象测试方法,探讨了面向对象测试技术在核电站仪控系统非安全级软件确认测试中的可行性,为核电软件测试人员提供了软件测试的新思路。
- 刘泓辰王晓燕许先音
- 关键词：核电站仪控系统面向对象测试
- 核电DCS系统的UI界面测试方法及装置
- 本申请公开了一种核电DCS系统的UI界面测试方法及装置。其中，核电DCS系统的UI界面测试方法包括：获取UI界面测试需求；根据所述测试需求从预先建立的UI脚本类库中选择对应的元素，并将所述元素组合成测试用例库，其中，所述...
- 许雅苹江国进朱剑齐敏王晓燕首云旭黄太新黄君龙
- 一种闭锁报警实现系统和逻辑架构
- 本发明公开了一种闭锁报警实现系统和逻辑架构，系统包括：工程师站、主控站和显示设备，其中：工程师站用于基于形式化开发方法得到闭锁报警算法功能模块，并编译生成算法组态文件，将算法组态文件分别下装到主控站和显示设备；主控站用于...
- 李玉杰刘景宾王晓燕杜乔瑞武方杰裴红伟黄君龙
- 核级仪控平台软件失效验证研究与实践
- 2021年
- 随着数字化的兴起,核电厂的数字化产品承担越来越多的功能,软件故障的频繁发生,对系统的安全运行产生危害增大,从而使人们逐渐认识到软件可靠性的重要性。由于软件具有抽象、无形等特点,软件可靠性验证成为软件验证难点。采用软件失效模式和影响分析(FMEA)方法,在核安全级产品的全生命周期验证中,系统性识别核安全级产品的安全薄弱环节,分析和测试处理措施合理性。同时,提出了从硬件故障、功能异常、工作约束等维度创建失效模式库,化解软件FMEA工作量大的问题。通过对核安全级产品执行软件FMEA分析和测试,促使安全设计以消除薄弱环节或使其影响减小,从而达到提高产品可靠性的目的。同时,该研究为软件可靠性验证提供有效验证手段。
- 王晓燕裴红伟
- 关键词：数据流硬件故障
