信息物理融合系统(CPS)是物联网进一步发展的产物,CPS将物理过程与信息计算过程紧密联系,是一种复杂的混合系统,Modelica与AADL是适合用以信息物理融合系统的嵌入式系统体系结构建模语言,本文基于Modelica-AADL的建模方式,制定了适用于CPS的形式化性能评价语言及算法,完成系统的性能需求的规约,进一步分析与评价信息物理融合系统的相关性能。首先,应用两种不相关的建模语言Modelica与AADL为CPS建模,构建一种组合式建模方式Modelica-AADL,其中,Modelica应用于物理系统的建模,AADL应用于信息系统的建模,并对Modelica进行了相关的概率扩展,设计了接口将两种建模方式组合。同时,将Z语言引入到Modelica-AADL模型中,用以描述系统中的数据约束。为了进行系统分析评价工作,制定了相关规则与算法将非形式化的Modelica-AADL描述转换成形式化的概率混成自动机模型。之后定义面向CPS的形式化性能评价语言CTEL,结合相关具有统计意义的评价量计算方式,计算出性能评价的值,利用CTEL对系统的性能性质进行描述,得到分析结果。最后,结合统计方法扩充了性能评价。利用统计模型检测,将概率度量纳入性能评价的范畴,制定了在概率混成自动机模型下的统计模型检测框架。并且对性能评价进行了扩展,给以了在一定置信水平下,计算评价量的方式。在本文的建模与分析评价的各个部分,都用实例作了相关阐述,包括了为汽车引擎系统建立Modelica-AADL模型,具有实际意义的引擎系统动能评价,在置信水平下的引擎系统能量评价。