发明名称 | 基于模型的面向嵌入式实时操作系统的建模方法 | ||
摘要 | 本发明涉及计算机领域的嵌入式实时系统,旨在提供一种基于模型的面向嵌入式实时操作系统的建模方法。该方法包括步骤:建立静态图、建立动态图、自动生成时间图和自动生成时序图。本发明具有的有益的效果是:模型可以在各种芯片和各种实时操作系统中运用;能够充分的反映一个系统模型的各个方面,很大的提高了模型的准确性和可行性;模型的自动生成很好的节省了建模时间和增强建模的准确度;可以大大减少整个开发过程在编写代码,撰写文档和模拟测试过程中所花费的时间。 | ||
申请公布号 | CN1996237A | 申请公布日期 | 2007.07.11 |
申请号 | CN200610155325.2 | 申请日期 | 2006.12.20 |
申请人 | 浙江大学 | 发明人 | 赵民德;杨国青;李红;周炎淼;高志刚;吴朝晖 |
分类号 | G06F9/44(2006.01) | 主分类号 | G06F9/44(2006.01) |
代理机构 | 杭州中成专利事务所有限公司 | 代理人 | 唐银益 |
主权项 | 1、一种基于模型的面向嵌入式实时操作系统的建模方法,基于UML规范面向实时操作系统建模,其特征在于,包括以下步骤:(1)建立静态图提取出嵌入式实时操作系统的共同特征和接口,依据UML规范用图形结构的表示对操作系统的核心特征进行建模;(2)建立动态图依据静态图对象结构,描述任务、事件和定时器三者之间的动态关系,展示调度、任务与任务之间、任务和事件之间的激活关系;(3)自动生成时间图系统从动态图和静态图自动生成时间图,以定时器为根源描述每一个定时器控制的任务模块和该模块激活的所有模块;(4)自动生成时序图系统根据动态图、静态图和时间图生成时序图,以此规范多个任务模块在系统运行中的先后顺序。 | ||
地址 | 310007浙江省杭州市西湖区浙大路38号 |