需求发布 成果发布 科创案例库 揭榜挂帅
技术路演 会议展览 科创联合体 项目申报
前沿动态 科技政策 院士开讲 青托工程
科技服务团 学术资源
试点城市(园区) 双创活动周
协作站点 学会服务
问题库 项目库 开源库
English
您所在的位置: 成果库 一种适用于信息物理系统的建模与验证方法

一种适用于信息物理系统的建模与验证方法

发布时间: 2023-07-05

来源: 科技服务团

基本信息

合作方式： 合作开发
成果类型： 发明专利,实用新型专利
行业领域：
电子信息技术
成果介绍
本发明涉及一种适用于信息物理系统的建模与验证方法，属于信息化领域。
成果亮点
该方法包括选取完整且闭环的信息物理系统设计案例；对所述的信息物理系统的离散模式变化、连续动态行为和层次结构进行形式化建模得到系统的多层次混成模型；将所述的多层次混成模型在PtolemyII平台中进行图形化建模；将所述的多层次混成模型根据规则转换为包含多个时间自动机模型的时间自动机网络；对所述的信息物理系统的属性和行为进行形式化规约；将时间自动机网络结合形式化规约进行多层次混成模型的验证。本发明针对多层次混成模型和时间自动机模型之间的差异，定义了模型的映射规则，使得信息物理系统能够较全面地建模与验证。
团队介绍
夏晓峰，黄晋，刘奇，朱英豪，黄诗琪，王林平，王弋戈
成果资料