[发明专利]基于模型的面向嵌入式实时操作系统的建模方法无效
| 申请号: | 200610155325.2 | 申请日: | 2006-12-20 |
| 公开(公告)号: | CN1996237A | 公开(公告)日: | 2007-07-11 |
| 发明(设计)人: | 赵民德;杨国青;李红;周炎淼;高志刚;吴朝晖 | 申请(专利权)人: | 浙江大学 |
| 主分类号: | G06F9/44 | 分类号: | G06F9/44 |
| 代理公司: | 杭州中成专利事务所有限公司 | 代理人: | 唐银益 |
| 地址: | 310007浙*** | 国省代码: | 浙江;33 |
| 权利要求书: | 查看更多 | 说明书: | 查看更多 |
| 摘要: | 本发明涉及计算机领域的嵌入式实时系统,旨在提供一种基于模型的面向嵌入式实时操作系统的建模方法。该方法包括步骤:建立静态图、建立动态图、自动生成时间图和自动生成时序图。本发明具有的有益的效果是:模型可以在各种芯片和各种实时操作系统中运用;能够充分的反映一个系统模型的各个方面,很大的提高了模型的准确性和可行性;模型的自动生成很好的节省了建模时间和增强建模的准确度;可以大大减少整个开发过程在编写代码,撰写文档和模拟测试过程中所花费的时间。 | ||
| 搜索关键词: | 基于 模型 面向 嵌入式 实时 操作系统 建模 方法 | ||
【主权项】:
1、一种基于模型的面向嵌入式实时操作系统的建模方法,基于UML规范面向实时操作系统建模,其特征在于,包括以下步骤:(1)建立静态图提取出嵌入式实时操作系统的共同特征和接口,依据UML规范用图形结构的表示对操作系统的核心特征进行建模;(2)建立动态图依据静态图对象结构,描述任务、事件和定时器三者之间的动态关系,展示调度、任务与任务之间、任务和事件之间的激活关系;(3)自动生成时间图系统从动态图和静态图自动生成时间图,以定时器为根源描述每一个定时器控制的任务模块和该模块激活的所有模块;(4)自动生成时序图系统根据动态图、静态图和时间图生成时序图,以此规范多个任务模块在系统运行中的先后顺序。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于浙江大学,未经浙江大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/200610155325.2/,转载请声明来源钻瓜专利网。





