核电厂安全级仪控设备的商品级软件鉴定初论

毋琦 毛从吉 环境保护部核与辐射安全中心 北京100082

关键词:核电厂 控制器 软件鉴定 验证与确认 安全评价 

摘要:对于结构简单、功能单一的安全级数字化仪控设备中所包含的商品级软件,特别是已经完成设计开发的软件,要求软件设计方按照相关标准实施软件的设计开发过程以及验证与确认过程是不现实的。论述了安全级数字化仪控设备中所包含的商品级软件的鉴定方法,重点介绍了IEC标准和EPRI报告中相关的鉴定方法。通过对商品级软件进行安全评价,并完成相关鉴定工作,以补充证明软件在规定条件下执行其预定的安全功能是可行的。这有利于我国的数字化仪控设备厂商开展软件的鉴定工作。

自动化仪表杂志要求:

{1}作者简介包括以下内容:真实姓名、出生年份、性别、籍贯、职称、专业学位和研究方向。

{2}文题简明,原则上不超过20个汉字。

{3}所有投稿在形式上应当符合国家著作权规定、公认学术规范和本刊注释体例(是否符合本刊注释体例不影响稿件最终采用,但将影响稿件审读的优先性)。

{4}以“参考文献”(左顶格)作为标志,不分文献类别不加编号,顺序排列。中文参考文献在前,按拼音顺序排列;英文参考文献在后,按字母顺序排列。

{5}论文均要求有中文摘要和关键词,摘要用第三人称撰写,分目的、方法、结果及结论四部分,完整准确概括文章的实质性内容,以150字左右为宜,关键词一般3~6个。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

自动化仪表

统计源期刊
1-3个月下单

关注 13人评论|1人关注
相关期刊
服务与支付