公共文化服务平台

共 9 条记录，以下是 1-9

全选清除导出

排序方式：

核电站数字化仪控系统安全保密分析方法研究被引量：2: 2016年; 核电站数字化仪控系统的信息安全保密分析是核安全级仪控系统软件验证与确认工作的任务之一。按照相关规定,提出了一种基于核安全级仪控系统软件开发全生命周期过程,结合规则检查分析和基于信息流分析的安全保密分析方法。该方法经应用检验能够证实系统在信息安全保密方面的防范能力,在实际项目中得到应用。; 尹宝娟丁义行孙王强李幼媛赵云飞程建明; 关键词：信息流

形式化验证方法用于核电厂数字化仪控系统HPD验证的探索与实践被引量：1: 2012年; 为提高核电厂数字化仪控系统中HPD(HDL-Programmed Device)验证工作的效率和有效性,从而帮助提高仪控系统可靠性,引入形式化验证方法。形式化验证方法与传统的基于功能仿真的验证方法相比可以更有效地发现系统设计中的错误,更充分地验证系统设计,更方便地对验证流程进行管理。目前基于断言的形式化验证方法已经在大规模ASIC设计,以及数字通信领域HPD设计的功能验证中取得了成功,本文将这一方法引入核安全级系统HPD验证实践中,主要介绍HPD形式化验证的特点、原理和方法,以及其在FirmSys系统安全级HPD验证工作中的初步应用。; 吴飞张亚栋程建明王晓燕; 关键词：形式化验证可编程逻辑器件可靠性

一种核电站实时操作系统的验证信息的处理方法及装置: 本发明提供了一种核电站实时操作系统的验证信息的处理方法及装置，该方法为：确定核电站实时操作系统的标准接口，以及获取核电站实时操作系统的信号量变化详情；针对标准接口，识别标准接口的指定参数情况；基于指定参数情况和预设的接口...; 李幼媛黄君龙武方杰杜乔瑞程建明白春娜王晓燕首云旭

数字化核安全级仪控系统软件验证和确认平台的设计与实践被引量：4: 2014年; 在针对数字化核安全级仪控系统中的软件进行验证和确认(V&V)过程中,为了确保V&V工作可信、有效、高效地开展,构建一个软件V&V平台,支持包括准备、执行和管理等全过程的V&V活动。该V&V平台基于通用数据库,通过集成定制工具与商用工具,来提供V&V工作所需的方法和手段。通过多个核级软件的V&V项目的应用实践,证明该平台对于开展V&V活动发挥了重要作用,使得数字化核安全级仪控系统具有清晰证据支持的高安全性与高可靠性。; 张亚栋程建明

数字化核安全级仪控系统软件的验证与确认被引量：3: 2012年; 本文讨论了核安全级软件验证与确认的方法论。详细描述了在数字化核安全级仪控系统研发过程中V&V活动的具体实施过程,此外还介绍了为开展可信的验证与确认活动的所制定的V&V流程与规范、构建的各种V&V平台及采用的V&V关键技术等。; 张亚栋左新尹宝娟程建明

核电厂安全系统中可编程数字设备的适用准则: 本文件规定了可编程数字设备用于核电厂安全系统的设计准则，包括安全系统准则、监测指令设备的功能和设计要求、执行装置的功能和设计要求、对动力源的要求。本文件适用于核电厂安全系统中的可编程数字设备。; 焦丽玲程建明张亚栋杜乔瑞王晓燕杜建邓瑞源吴飞飞裴红伟武方杰黄君龙石秦刘春明王忠秋耿文行刘景宾乔宁任春香刘志凯王海峰

嵌入式操作系统数学库函数测试方法研究和应用: 2023年; 核鹭操作系统数学库以C语言函数库的形式提供常用的若干数学函数,被用于核安全重要的仪控系统,直接参与核安全重要功能的实现,因此必须在使用前对其进行全面验证和确认。为提高测试全面性、有效性和测试执行的自动化程度,研究者采用对比测试方法完成测试工作,以保证各函数的计算正确性和精度:首先在参考环境(通用PC机)下,按照IEC 60559中浮点数定义和各待测函数定义域和计算方法等特性,生成各待测函数输入值序列并在参考环境下调用编译工具内置的库函数计算出对应的函数输出值,再将已产生的各待测函数输入值序列和对应的函数输出值以二进制文件方式保存并传递给嵌入式操作系统目标机运行环境,并在目标机运行环境下调用嵌入式操作系统数学库函数计算各待测函数输入值序列的对应函数输出值,最后以二进制值的方式比较不同环境下的函数输出值,分析测试中发现的问题以及计算误差产生原因和可接受条件,最终确保嵌入式操作系统数学库函数在其定义域内计算正确并在可接受的误差范围内。; 程建明徐先柱; 关键词：嵌入式操作系统误差分析

核电站数字化仪控系统安全保密分析方法研究: 随着数字化仪控系统在核电站的广泛应用,核安全级系统的信息安全问题越发受到重视.安全保密分析被标准要求作为核级软件验证与确认工作的任务之一.提出了一种基于核安全级系统软件开发全生命周期过程,结合规则检查分析和基于信息流的分...; 尹宝娟程建明孙王强李幼媛赵云飞; 关键词：核电站软件开发信息安全

FirmSys平台软件第三方V&V过程和方法被引量：1: 2016年; 独立性是核安全级仪控系统软件验证和确认(V&V)的重要要求之一。在公司内部独立部门执行软件V&V的基础上,广利核(CTEC)公司另外委托第三方认证机构ISTec公司对广利核公司自主研发的国内首个核电站安全级数字化仪控系统平台(FirmSys平台)软件执行独立V&V工作。本文总结第三方IV&V工作的过程和方法,并与广利核内部执行的软件V&V工作的过程和方法进行对比分析。分析表明,第三方IV&V工作和CTEC内部V&V都有各自满足法规、标准的完整的过程和方法,通过第三方IV&V工作可以佐证CTEC内部V&V工作的有效性,并增强了Firm Sys平台软件安全性的可信度。; 程建明张亚栋章丹王晓燕

全选清除导出

共1页<1>

程建明