发明公开
- 专利标题: 一种核级安全显示装置及其组态-解析系统
-
申请号: CN202010595078.8申请日: 2020-06-28
-
公开(公告)号: CN111488631A公开(公告)日: 2020-08-04
- 发明人: 马权 , 赵洋 , 刘明星 , 蒋维 , 陈达其 , 吴延群 , 杨斌 , 杨斐 , 汪亨
- 申请人: 中国核动力研究设计院
- 申请人地址: 四川省成都市双流区长顺大道一段328号
- 专利权人: 中国核动力研究设计院
- 当前专利权人: 中国核动力研究设计院
- 当前专利权人地址: 四川省成都市双流区长顺大道一段328号
- 代理机构: 成都行之专利代理事务所
- 代理商 林菲菲; 李朝虎
- 主分类号: G06F21/84
- IPC分类号: G06F21/84 ; G06F21/71
摘要:
本发明公开了一种核级安全显示装置及其组态-解析系统,本发明的组态-解析系统包括组态编辑器、组态编译器和组态解析器;组态编辑器用于实现工程组态页面设计和参数配置,生成用户组态数据的xml描述文件;组态编译器对用户组态数据的xml描述文件进行转换,生成组态配置数据文件;在核级安全显示装置的实体机或模拟机或上位机部署有组态解析器;组态解析器用于组态配置数据文件的解析并周期性产生包括内部变量数据、工程页面数据以及人机操作数据的运行数据。本发明采用参数化的组态配置数据构造方法实现核级安全显示装置的工程组态编辑、编译以及解析运行,避免使用形式化等数学方法来验证翻译过程的可信度证明和验算活动巨大的工作量。
公开/授权文献
- CN111488631B 一种核级安全显示装置及其组态-解析系统 公开/授权日:2020-09-22