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