科创中国

电子信息技术

本发明涉及一种适用于信息物理系统的建模与验证方法，属于信息化领域。

该方法包括选取完整且闭环的信息物理系统设计案例；对所述的信息物理系统的离散模式变化、连续动态行为和层次结构进行形式化建模得到系统的多层次混成模型；将所述的多层次混成模型在PtolemyII平台中进行图形化建模；将所述的多层次混成模型根据规则转换为包含多个时间自动机模型的时间自动机网络；对所述的信息物理系统的属性和行为进行形式化规约；将时间自动机网络结合形式化规约进行多层次混成模型的验证。本发明针对多层次混成模型和时间自动机模型之间的差异，定义了模型的映射规则，使得信息物理系统能够较全面地建模与验证。

重庆育成发展有限公司，成立于2013年，重庆高新开发建设投资集团成员，位于重庆市，是一家以从事软件和信息技术服务业为主的企业。 经营范围：为高新技术企业提供技术咨询、技术服务，科技项目的技术转让、技术咨询，技术进出口，从事投资业务（不得从事金融业务），企业形象设计，市场营销策划，房地产信息咨询，会议及展览服务，场地租赁，物业管理，企业管理咨询，从事与创新创业相关的投资业务及资产管理，设计、制作、代理、发布国内外广告（除依法须经批准的项目外，凭营业执照依法自主开展经营活动）重庆育成发展有限公司，成立于2013年，重庆高新开发建设投资集团成员，位于重庆市，是一家以从事软件和信息技术服务业为主的企业。 经营范围：为高新技术企业提供技术咨询、技术服务，科技项目的技术转让、技术咨询，技术进出口，从事投资业务（不得从事金融业务），企业形象设计，市场营销策划，房地产信息咨询，会议及展览服务，场地租赁，物业管理，企业管理咨询，从事与创新创业相关的投资业务及资产管理，设计、制作、代理、发布国内外广告（除依法须经批准的项目外，凭营业执照依法自主开展经营活动）