计算机应用

作者：张程, 陈付龙, 刘超, 齐学梅

单位：1. 安徽师范大学 计算机与信息学院, 安徽 芜湖 241003;2. 网络与信息安全安徽省重点实验室(安徽师范大学), 安徽 芜湖 241003

关键词：信息物理融合系统,组件,可扩展标记语言,XModel,开放模型,协同仿真

基金：国家自然科学基金资助项目（61572036）。

信息物理融合系统（CPS）涉及多种计算模型的集成和协同工作，针对CPS设计方法不统一、重塑性差、复杂度高、难以协同建模验证等问题，提出一种结构化、可描述行为的异元组件模型。首先，用统一组件建模方法进行建模，解决模型不开放问题；然后，用可扩展标记语言（XML）规范描述各类组件，解决不同计算模型描述语言不一致和不可扩展问题；最后，用多级开放组件模型的协同仿真验证方式进行仿真验证，解决验证的不可协同问题。通过通用组件建模方法、XML组件规范描述语言以及验证工具平台XModel对医用恒温箱进行了建模、描述和仿真。医用恒温箱的案例表明，这种模型驱动建立可重塑异元组件并确认其设计正确性的过程，支持信息物理协同设计和边构建边纠正，可避免在系统实现过程中发现问题时再进行反复修改。

来源：2019年第6期

《计算机应用》期刊编辑部

查看计算机应用杂志2019年第6期