[发明专利]嵌入式系统软件的模型驱动与构件化开发方法无效
申请号: | 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/,转载请声明来源钻瓜专利网。
- 上一篇:儿童拖车
- 下一篇:可墨带故障记录管理的成像装置及色带故障记录管理方法