一种核级安全显示装置及其组态-解析系统
摘要:
本发明公开了一种核级安全显示装置及其组态-解析系统,本发明的组态-解析系统包括组态编辑器、组态编译器和组态解析器;组态编辑器用于实现工程组态页面设计和参数配置,生成用户组态数据的xml描述文件;组态编译器对用户组态数据的xml描述文件进行转换,生成组态配置数据文件;在核级安全显示装置的实体机或模拟机或上位机部署有组态解析器;组态解析器用于组态配置数据文件的解析并周期性产生包括内部变量数据、工程页面数据以及人机操作数据的运行数据。本发明采用参数化的组态配置数据构造方法实现核级安全显示装置的工程组态编辑、编译以及解析运行,避免使用形式化等数学方法来验证翻译过程的可信度证明和验算活动巨大的工作量。
公开/授权文献
0/0