一种基于模型转换的CPS建模与验证方法

项目简介

       本发明提出了一种基于模型转换的CPS建模与验证方法,主要用于处理CPS建模与属性验证问题,本发明涉及到的关键操作包括:(1)采用HybridUML对CPS进行建模,并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid?Programs。首先按照HybridUML和Hybrid?Programs元模型元素之间的关系定义模型转换的规则,并生成规则应用的模板,再在模型层次应用规则进行模型转换自动生成Hybrid?Programs;(2)将得到的Hybrid?Programs根据定理证明器KeYmaera的输入格式,生成输入代码,在KeYmaera中进行推理验证。


模型转换和验证流程

所属领域

电子信息  


合作方式

技术咨询 、技术服务