核安全级DCS系统模型驱动可信代码自动生成方法

著录项

• 来源
  《仪器仪表用户》 |2020年第11期|52-56|共5页
• 作者

  兰林; 马权; 侯荣彬; 李勇; 杨斌; 荣健兵; 吴延群;

  展开▼
• 作者单位

  中国核动力研究设计院 核反应堆系统设计技术重点实验室 成都 610213;

  哈尔滨工程大学 哈尔滨 150000;

  中国核动力研究设计院 核反应堆系统设计技术重点实验室 成都 610213;

  中国核动力研究设计院 核反应堆系统设计技术重点实验室 成都 610213;

  中国核动力研究设计院 核反应堆系统设计技术重点实验室 成都 610213;

  中国核动力研究设计院 核反应堆系统设计技术重点实验室 成都 610213;

  中国核动力研究设计院 核反应堆系统设计技术重点实验室 成都 610213;

  中国核动力研究设计院 核反应堆系统设计技术重点实验室 成都 610213;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 自动控制、自动控制系统;
• 关键词

  可信代码自动生成; XML; 形式化验证;