[发明专利]一种形式化建模的优化方法在审
| 申请号： | 201410208513.1 | 申请日： | 2014-05-16 |
| 公开（公告）号： | CN105095065A | 公开（公告）日： | 2015-11-25 |
| 发明（设计）人： | 刘海亮;屈华敏;杨东红;阎振鑫 | 申请（专利权）人： | 中国航空工业第六一八研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 中国航空专利中心 11008 | 代理人： | 杜永保 |
| 地址： | 710065 陕*** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | 一种 形式化 建模 优化 方法 | ||
【权利要求书】：
1.一种形式化建模的优化方法，其特征在于，
步骤1通过形式化建模工具搭建系统的体系架构；
步骤2针对架构中的模块进行性能分析与测试，筛选出需要提升性能的目标单元；
步骤3通过构建自适应适配层，对目标单元与通用库中性能更高的单元进行匹配并替换；
步骤4将优化后的体系架构在形式化建模平台下进行验证与仿真。
2.如权利要求1所述的形式化建模的优化方法，其特征在于，所述的自适应适配层通过如下步骤搭建，
第一步对比形式化建模中目标单元的数据接口与通用库的数据接口，完成数据接口匹配；
第二步完成形式化建模目标单元与通用库中性能更高单元的逻辑匹配。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国航空工业第六一八研究所，未经中国航空工业第六一八研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/201410208513.1/1.html，转载请声明来源钻瓜专利网。
