数字化核安全级仪控系统软件验证和确认平台的设计与实践 |
| |
作者姓名: | 张亚栋 程建明 |
| |
作者单位: | 北京广利核系统工程有限公司 |
| |
摘 要: | 在针对数字化核安全级仪控系统中的软件进行验证和确认(V&V)过程中,为了确保V&V工作可信、有效、高效地开展,构建一个软件V&V平台,支持包括准备、执行和管理等全过程的V&V活动。该V&V平台基于通用数据库。通过集成定制工具与商用工具,来提供V&V工作所需的方法和手段。通过多个核级软件的V&V项目的应用实践,证明该平台对于开展V&V活动发挥了重要作用,使得数字亿核安全级仪控系统具有清晰证据支持的高安全性与高可靠性。
|
关 键 词: | 数字化核安全级仪控系统 软件验证和确认平台 |
本文献已被 CNKI 维普 等数据库收录! |
|