一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法

发明专利有效专利

申请号：
CN201210531501.3
IPC分类号：G06F9/455
申请日期：
2012-12-11
申请人：
南京大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法
申请号	CN201210531501.3	申请日期	2012-12-11
法律状态	授权	申报国家	中国
公开/公告日	2013-09-11	公开/公告号	CN103294520A
优先权	暂无	优先权号	暂无
主分类号	G06F9/455 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F9/00 程序控制设计，例如，控制单元（用于外部设备的程序控制入G06F13/10）〔1，4，2006.01，2018.01〕 G06F9/06 使用存储的程序，即使用处理设备的内部存储来接收程序或者保留程序〔1，2006.01〕 G06F9/44 执行特定程序的设计〔3，2006.01，2018.01〕 G06F9/455 仿真；注释；软件模拟，例如：应用程序或操作系统执行引擎的虚拟化或仿真〔5，2006.01〕	IPC分类号	G;0;6;F;9;/;4;5;5查看分类表>
申请人	南京大学	申请人地址	江苏省南京市鼓楼区汉口路22号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	南京大学	当前权利人	南京大学
发明人	张天;孙晴晴;李宣东
代理机构	南京瑞弘专利商标事务所（普通合伙）	代理人	陈建和

摘要

一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法，步骤10：根据嵌入式系统的需求说明书分析实体和采用的Theme；步骤11：确定最终的类和实体；步骤12：确定最终的Theme；步骤13：确定时间相关行为，使用MARTE建模语言对需要的时钟进行建模；步骤14：对基础的面向方面的BaseTheme进行建模；步骤15：使用设计好的时钟，将时间相关行为作为AspectTheme进行建模；步骤16：根据合并、覆盖等Theme整个规则，分析Theme之间关系，对Theme进行整合编织，形成完整的嵌入式系统模型。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供