核电安全级仪控系统形式化功能验证

作     者：钱一名 刘志凯 梁成华 王冬 QIAN Yi-ming;LIU Zhi-kai;LIANG Cheng-hua;WANG Dong

作者机构：中核控制系统工程有限公司北京100176 

出 版 物：《核电子学与探测技术》 (Nuclear Electronics & Detection Technology)

年 卷 期：2019年第39卷第5期

页      码：621-625页

摘      要：提出了一种基于形式化技术的功能验证方法,对可编程逻辑模块级/子系统级进行功能验证.通过实例逻辑验证表明,依据功能验证平台,按照验证步骤对设计程序进行缺陷检查,测试用例能保证RTL代码结构和功能覆盖达到100%,并提供验证报告方便快速定位并进行缺陷修复,大大地降低了仪控系统在核电厂实际使用过程中出现问题的概率保证核电安全级仪控系统稳定性、可靠性和安全性的要求,为仪控系统提供更充分更有力的依据.

主 题 词：可编程逻辑技术 核安全级 形式化技术 功能验证 

学科分类：080802[080802] 0808[工学-自动化类] 08[工学] 

馆 藏 号：203885348...