[发明专利]嵌入式系统软件的模型驱动与构件化开发方法无效

专利信息
申请号: 200610124600.4 申请日: 2006-09-26
公开(公告)号: CN1928816A 公开(公告)日: 2007-03-14
发明(设计)人: 何克清;杜德慧;彭蓉;李克松;吴昊;胡娟;周青 申请(专利权)人: 武汉大学
主分类号: G06F9/44 分类号: G06F9/44
代理公司: 湖北武汉永嘉专利代理有限公司 代理人: 王守仁
地址: 43007*** 国省代码: 湖北;42
权利要求书: 查看更多 说明书: 查看更多
摘要: 发明公开了一种嵌入式系统软件的模型驱动与构件化开发方法,即:在模型驱动的框架下,将模型作为嵌入式软件开发的核心和基本元素,集成模型编辑、验证、模拟和模型编译技术,实现嵌入式系统模型的编辑、验证、模拟和代码的自动生成,并根据基于构件的软件开发方法,大规模重用嵌入式软构件。本发明能够有效地提高嵌入式系统软件的开发效率,为大规模开发高质量的软件系统提供了一种现实可行的方法,为研究代码自动生成提供了一个新的思路和较为完备的方法。
搜索关键词: 嵌入式 系统软件 模型 驱动 构件 开发 方法
【主权项】:
1.一种嵌入式系统软件的模型驱动与构件化开发方法,其特征是:在模型驱动的框架下,将模型作为嵌入式系统软件开发的核心和基本元素,集成模型编辑、验证、模拟和模型编译技术,实现嵌入式系统模型的编辑、验证、模拟和代码的自动生成,并根据基于构件的软件开发方法,大规模重用嵌入式软构件,该方法包括以下步骤:(1)嵌入式系统软件开发的初期,在“模型编辑器”中构建与平台无关的模型PIM,其包括UML用例图、类图、状态图、对象图、顺序图、活动图、协作图等描述系统,用以帮助澄清用户需求;(2)将绘制好的UML模型通过“模型检查器”检查其语法的正确性,使之确保在编辑器中生成的模型遵循UML2.0的元模型规范标准;(3)将语法正确的UML模型通过“模型验证器”采用形式化的模型验证技术对其进行形式化的模型验证,以提供一个集成的验证环境,支持对系统模型的功能属性和非功能属性的验证;(4)在模型模拟器中,模拟执行通过验证的UML模型,分析设计好的PIM系统模型的整体动态行为;(5)对设计好的PIM系统进行模型编译,实现系统模型到代码的自动转换,其方法是:把建立好的PIM模型送入“模型编译器”中进行编译,自动地生成基于抽象操作系统的与平台有关的源代码(如C、C++等),即PSM模型;(6)进行构件组装,重用嵌入式软构件,其方法是:利用嵌入式系统软件开发平台EUP的模型编译器自动生成的系统模型所对应的代码框架,并将该代码框架和嵌入式软构件进行链接、组装后,使其经过操作系统适配器和对应的语言编译器的处理,生成依赖于特定嵌入式操作系统的PSM目标系统,即可被传输到具体的嵌入式硬件中进行最终的测试和使用。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于武汉大学,未经武汉大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/200610124600.4/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top