翻译确认方法在核安全级GCG中的应用研究

• 作者: 任保华 张智慧 闫鑫 齐敏
• 来源期刊: 自动化博览
• 关键词: 图形代码生成器 形式化验证方法 翻译确认 求值流图
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 核电仪控
• 页码范围: 71-75
• 页数: 5页
• 字数: 3376字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-0492.2018.04.030

摘要

在核安全级数字化仪控系统中,人机交互安全控制显示装置的显示内容和控制逻辑由图形化组态工具实现.由于显示内容规模庞大,结构复杂,如何保证实现从图形到C转换的图形代码生成器(GCG)的正确性是一个难题,通过引入形式化验证方法对GCG生成过程的正确性进行验证.本文在对两种形式化验证技术比较并结合应用场景分析之后,选取了翻译确认方法,并通过示例说明了方法的可行性,为之后图形代码生成器的形式化验证工作奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	齐敏		11	20	3.0	4.0
2	任保华		2	0	0.0	0.0
3	张智慧		5	8	2.0	2.0
4	闫鑫		1	0	0.0	0.0