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

发布时间：2022-02-26 01:34

　　为了提高核安全级DCS系统控制算法的设计效率和打破关键建模软件完全依赖国外进口的局面,基于对图形化建模技术和形式化验证技术的研究,提出了一种集图形化建模和可信代码自动生成于一体的核安全级DCS系统控制算法的开发方法,将极大地提高核安全级DCS系统控制算法开发效率。主要介绍了图形化建模软件、XML文件数据提取方法和可信代码生成软件的设计,将这些软件集成后,为核安全级DCS系统控制算法开发,提供了一套由模型驱动代码自动生成的解决方案。 

【文章来源】：仪器仪表用户. 2020,27(11)

【文章页数】：5 页

【文章目录】：
0 引言
1 图形化建模软件
    1.1 设备建模
    1.2 变量建模
    1.3 算法建模
2 XML文件数据提取
3 可信代码自动生成软件设计
4 软件集成使用
5 结束语


【参考文献】：
期刊论文
[1]基于SCADE的嵌入式软件开发[J]. 刘晶晶,刘增明.  微处理机. 2013(01)



本文编号：3644060