信息物理融合系统异元组件协同建模与验证.pdf

信息物理融合系统异元组件协同建模与验证 摘要 自2005年提出信息物理融合系统(CyberPhysicalSystem，CPS)概念至今， 国内外众多学者致力于CPS设计方法的探索和研究。CPS的组成元素复杂、功 能多变，需要通信、传感、控制以及物理等组件协同完成某种特定的任务。同时， 随着现代信息技术的高速发展，CPS的设计规模更庞大、功能更复杂，CPS设计 变得难以把握。因此，CPS异元组件协同设计理论和方法研究已成为迫切需求和 紧要的任务。目前，CPS的建模方法、描述语言以及验证方法存在多样性、不一 致性，也导致CPS设计效率低下、难度较高。 为高效地设计和开发具备可行性、可靠性的CPS，本文提出异元组件协同建 模与验证方法，主要的研究工作及创新点如下： (1)提出一种结构化、可描述行为的CPS异元组件模型。针对信息物理融合系 统异元组件协同设计的迫切需求，本文研究嵌入式系统与其他异元系统协同设计的 异元组件建模的基本概念，建立组件的演算规则和完整性验证规则，形成支持CPS 异元组件演算基本理论框架，用统一的组件建模方法，构建CPS异元组件模型。 (2)提出可扩展一致描述方法，用统一规范描述各类组件。针对异元组件描述 语言不一致和不可扩展的问题，本文研究异元组件模型的可扩展一致描述方法，建 立支持异元组件模型的可扩展一致描述规范，解决异元组件描述语言不一致和不可 扩展的问题。 (3)提出异元组件模型的协同验证方法。针对异元组件模型的协同验证要求， 设计开发验证仿真平台——．XModel，确保模型真实地反映设计者的设计意图，解决 异元组件验证的不可协同问题。XModel包括解析器、综合、仿真、有效性验证、图 形与文本描述转化等功能，可有效跟踪设计全过程，验证模型的正确性，从而确认 所设计产品的正确性。 关键词：信息物理融合系统；协同建模；可扩展描述；协同验证 CollaborativeandVerificationfor Modeling Heterogeneous in ComponentsCyberPhysicalSystems Abstract Sincethe of forwardin CyberPhysical 2005， concept System(CPS)wasput scholarshavedevotedthemselvestothe andresearchofCPS many exploration design methods．The ofCPSare anditsfunctionsare components complex changeable．It needs and to to communication，sensing，controlphysicscomponentscooperate a task．Atthesame the ofmodem time，with accomplishspecific rapiddevelopment information scaleofCPSis andthefunctionismore technology，thedesign larger thatthe ofCPSbecomesdifficulttorealize．Therefore，th