【摘 要】
：
为了确保核电厂数字化系统中安全级软件的质量,有必要对这些软件开展完善的验证和确认(V&V)活动。在国内外标准体系的指导下,建立合乎标准要求的V&V活动流程,并开展一系列严
【机 构】
：
中国核动力研究设计院核反应堆系统设计技术重点实验室;
论文部分内容阅读
为了确保核电厂数字化系统中安全级软件的质量,有必要对这些软件开展完善的验证和确认(V&V)活动。在国内外标准体系的指导下,建立合乎标准要求的V&V活动流程,并开展一系列严格和完整的V&V活动,是当前较为可行的提高软件质量的手段。本文以HAD102/16-2004和IEEE 1012-2004为依据,详细探讨了安全级软件开发过程的V&V流程,并对V&V活动中一些重要问题进行了讨论,以期为安全级软件的V&V活动开展提供一定的借鉴。
其他文献
采用溶胶-凝胶的方法在玻璃基片上制备了纳米ZnO薄膜,利用月桂酸钠、硅烷偶联剂对ZnO薄膜进行改性以研究不同改性过程对ZnO薄膜光学及亲水性能的影响。利用接触角测试、扫描
智能车载服务终端系统是能够实时在线提供数字化、信息化、网络化、智能化的综合行车服务系统,包括SOS紧急救援、道路救援、一键导航、POI查询、通信录同步、违章查询、保养
在大数据时代,挑战与机遇并存。从海量电子数据中去寻找那一丝与诉讼相关联的证据犹如海中捞针,使电子数据证据收集的成本增加,电子数据证据偏在成为难以解决的结构性问题。
采用溶胶-凝胶法在铝箔上制备WO3/ZnO复合薄膜,并用活性炭对其改性,以甲基橙水溶液模拟有机污染物,研究了WO3/ZnO薄膜的光催化降解性能。实验结果表明:白炽灯照射2h、WO3质量
以天津港五公司22-24#泊位码头为依托工程,详细描述了码头结构健康监测系统的组成,并分别从传感器布设、数据通信与传输、数据分析与监控等三方面对码头结构健康监测系统的实
我国婚姻法实行法定财产制和约定财产制相结合的夫妻财产制度。法定财产制为婚后所得共同制,夫妻对共同财产有平等处分的权利。关于夫妻共同财产的范围,我国婚姻法明确为夫妻
小学生在数学知识的认知上有一个全新的理念,所以要求教师进行全面的整改。多媒体信息技术的引进是进行教学整改的重要工具,有针对性地对多媒体辅助下的小学数学教学进行全面
"违法性认识"学说主要有四种观点,但这四种观点实际殊途同归,都是要求构成故意犯罪需要具备社会危害性的认识,"违法性认识"作为一个构成犯罪故意的要素来说可以不必存在。因
目的研究胃复春治疗胃癌前病变的疗效。方法内镜下病理活检证实为不典型增生及肠化生组织96例,按就诊次序随机分为治疗组(47例)和对照组(49例),观察治疗后的临床疗效。结果治
<正> 1995年11月7～10日在上海由中国茶叶学会、中国农业科学院茶叶研究所和中华茶人联谊会联合组织召开的’95茶—品质—人体健康国际学术讨论会,是一次具有高学术水平、跨学