论文部分内容阅读
本文讨论了核安全级软件验证与确认的方法论。详细描述了在数字化核安全级仪控系统研发过程中V&V活动的具体实施过程,此外还介绍了为开展可信的验证与确认活动的所制定的V&V流程与规范、构建的各种V&V平台及采用的V&V关键技术等。
数字化核安全级仪控系统软件的验证与确认
【摘 要】
：
本文讨论了核安全级软件验证与确认的方法论。详细描述了在数字化核安全级仪控系统研发过程中V&V活动的具体实施过程,此外还介绍了为开展可信的验证与确认活动的所制定的V&V
【机 构】
：
北京广利核系统工程有限公司
【出 处】
：
核科学与工程
【发表日期】
：
2012年S2期
其他文献
按照今年全市领导干部教育培训工作的安排，今天我们在这里举行2012年南宁市领导能力素质提升大培训暨秋季主体班开学典礼，主要目的是深入学习贯彻党的十八大精神，加强理论武装，提
以当地畦灌模式为对照，采用完全随机裂区设计，在河西走廊（甘肃省永昌县）地区进行了大田喷灌试验，试验设置了灌水量（I高、I中、I低：3300、2550、1800m3／hm2）与施肥量（F高、F中、F低：337．5