核安全关键软件的验证与确认技术

下载PDF

导出

摘要近年来,随着核动力技术的快速发展,核动力单位核安全关键软件也实现了数字化的发展。在核动力厂核安全关键软件的运行和使用过程中,软件的验证与确认技术是最为关键的一个环节。本文就对核安全关键软件的验证与确认内涵及其主要方法进行了分析。

作者杨亮任伍杰

机构地区河南省

出处《计算机光盘软件与应用》 2013年第16期264-264,266,共2页 Computer CD Software and Application

关键词核安全关键软件验证确认技术

参考文献7

1马飒飒,赵守伟,肖小峰.基于覆盖与故障注入的飞控软件测试技术研究[J].计算机测量与控制,2005,13(3):291-293. 被引量：5
2周新蕾.软件安全性分析技术及应用[J].质量与可靠性,2005(3):37-40. 被引量：10
3龚德泉.运用FMECA方法提高设计可靠性[J].上海航天,1995,12(3):25-29. 被引量：2
4吴琨.浅谈航天应用计算机软件的可靠性与安全性设计[J].控制工程（北京）,2005(5):117-121. 被引量：2
5余建军,韩双霞,黄云龙.软件安全性的静态分析[J].计算机工程与设计,2006,27(8):1411-1414. 被引量：5
6Au S K,Beck J L.Estimation of small failure probabilities in high dimensions by subset simulation [J]. Probabilistic Engineering Mechanics, 2001,16:263-277. 被引量：1
7Beck J K,Au S K.Bayesian updating of structural models and reliability using Markov Chain Monto Carlo simulation [J].Journal of Engineering Mechanics, 2002,128(4):380-391. 被引量：1
8Au S K,Beck J L.Subset simulation and its application to seismic risk based on dynamic analysis[J].Journal of engineer Mechanics,2003,129(8):901-917. 被引量：1
9Michael R Lyu.Applying reliability models more effectively[C]. IEEE Software Conference, 1992:43-52. 被引量：1
10NASA. Software safety [S]. NASA Technique Standard: NASASTD-8719.13A, 1997. 被引量：1

1石剑琛,杨虹.舰载作战系统软件安全性控制研究[J].舰船电子工程,2008,28(8):37-39. 被引量：1
2李海峰,刘畅,郑军.安全关键软件可靠性验证测试研究[J].航空标准化与质量,2013(3):44-48. 被引量：8
3徐翥,郦萌.软件安全性3M评价模型复杂度因子的研究[J].计算机工程,2005,31(2):163-165.
4周新蕾.航天系统软件测试的质量控制[J].质量与可靠性,2005(6):32-35. 被引量：1
5周新蕾,刘正高.航天软件可靠性安全性技术应用发展趋势[J].质量与可靠性,2006(3):41-43. 被引量：4
6王金波,赵光恒,陈蔚薇.安全关键软件的安全性保障工作研究[J].计算机工程与设计,2008,29(5):1072-1075. 被引量：3
7熊光泽,常政威,桑楠.可信计算发展综述[J].计算机应用,2009,29(4):915-919. 被引量：17
8徐利明,杨海波,张笑.提高武器装备软件可靠性[J].四川兵工学报,2009,30(5):137-139. 被引量：6
9杨霞,熊光泽,桑楠,张宁.Hades高可信架构中固定延迟分区实时调度[J].计算机辅助设计与图形学学报,2009,21(11):1682-1688. 被引量：2
10陈峰,李伟华,房鼎益,陈晓江.集成安全分析的模型驱动软件开发方法研究[J].计算机科学,2009,36(11):165-168. 被引量：2

1赵敏达,Baxter John.核安全关键软件的验证与确认技术(英文)[J].自动化仪表,2011,32(4):1-6. 被引量：2
2张亚栋,左新,尹宝娟,程建明.数字化核安全级仪控系统软件的验证与确认[J].核科学与工程,2012,32(S2):227-231. 被引量：3
3田苗,李博.基于人因工程的主控室人机界面设计的验证与确认[J].电脑知识与技术,2012,8(8):5427-5430. 被引量：1
4李铎,张良驹,冯俊婷.安全软件验证与确认中的单元模块测试技术[J].原子能科学技术,2008,42(6):551-556. 被引量：10
5水璇璇,吴一纯,吴志强,蔡源凤,胡剑全,郝俊伟,杨永祥.反应堆FPGA保护子系统开发与验证[J].核电子学与探测技术,2015,35(10):1043-1047. 被引量：1
6李富,安珍彩,张良驹,杨自觉.HTR-10数字化保护系统的验证与确认[J].核动力工程,2001,22(6):508-512. 被引量：2
7方舟.核电厂人因工程集成系统确认[J].中国核电,2013,6(2):111-114. 被引量：2
8叶王平,唐建中,陈卫华,谷鹏飞,王升超.浅析核安全级数字化仪控系统软件V&V的方法[J].原子能科学技术,2015,49(B05):377-381. 被引量：3
9刘瑞,李朝历,李艳丽.基于FPGA的核电厂安全级仪控系统验证与确认[J].核电子学与探测技术,2014,34(1):103-106. 被引量：7
10张竞宇,李富,魏春琳,孙玉良.基于蒙特卡罗方法对VSOP模型的k_(eff)验证[J].原子能科学技术,2013,47(3):350-354. 被引量：2

计算机光盘软件与应用

2013年第16期

内容加载中请稍等...