[00013622]一种基于模型转换的CPS建模与验证方法
联系人： 严永滔
所在地：江苏 泰州市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：（1）采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid Programs。首先按照HybridUML和Hybrid Programs元模型元素之间的关系定义模型转换的规则，并生成规则应用的模板，再在模型层次应用规则进行模型转换自动生成Hybrid Programs；（2）将得到的Hybrid Programs根据定理证明器KeYmaera的输入格式，生成输入代码，在KeYmaera中进行推理验证。
