课题基金 / 基金详情

数字化保护系统安全软件的验证与确认(V&V)技术研究

批准号:
10376013
项目类别:
联合基金项目
资助金额:
20.0 万元
负责人:
张良驹
依托单位:
学科分类:
NSFC-中物院联合基金
结题年份:
2006
批准年份:
2003
项目状态:
已结题
项目参与者:
李铎、安珍彩、秦威

项目摘要

结项摘要

项目成果

相似基金

相关文献

中文摘要
核动力厂仪表控制系统进入了数字化时代,如何有效地证明和确认执行安全功能的软件自身的安全性和可靠性、安全软件需要具备哪些条件对于核安全审评当局来说才是可以接收的,是实现数字化必须解决的关键问题,安全软件必须经过独立的V&V是解决这一问题的基本途径。安全软件的验证与确认(V&V)技术是当今世界范围内核能科学与工程领域热门的前沿课题,着重研究解决对安全软件的法规要求、实施V&V过程的步骤及方法、并发展有
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
DOI: --
发表时间: --
期刊: NP工程数字化保护系统V&V报告之一
影响因子: --
作者: [李铎, 张良驹]
通讯作者: 张良驹
国内基金
海外基金