检索结果-维普期刊中文期刊服务平台

UML-RT到一个图形设计环境体系结构的映射被引量：5: 1; 作者刘晓燕张云生 +1 位作者 J-J.Schwarz 李俊昌《计算机科学》 CSCD 北大核心 2006年第6期280-283,共4页; 为解决把UML-RT建模模型平滑过渡到实时系统的图形化的软构件设计开发环境的设计模型,本文提出了从UML-RT的结构模型映射到该环境下的体系结构模型的高层设计的映射方法。首先介绍UML-RT结构建模的概念及笔者研制的设计环境,其次给出从U... 展开更多; 关键词 UML-rt 图形化建模软件体系结构映射方法; 在线阅读下载PDF 职称材料

基于UML-RT的实时系统分析与设计被引量：3: 2; 作者谢拴勤解月江《计算机工程》 CAS CSCD 北大核心 2004年第15期192-194,共3页; 介绍了UML-RT的模型结构和模型行为,同时给出了利用UML-RT进行系统分析设计的方法,最后以先进飞机电气系统处理机实现为例说明了使用UML-RT进行系统分析、设计的具体过程。; 关键词 UML-rt 模型结构模型行为任务集任务调度; 在线阅读下载PDF 职称材料

UML-RT到一个实时多任务执行模型的转换被引量：1: 3; 作者刘晓燕字天文 +2 位作者张云生 J-J.Schwarz 李俊昌《计算机科学》 CSCD 北大核心 2007年第7期275-278,共4页; 为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中,本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境,其次给出... 展开更多; 关键词 UML-rt 实时系统状态图行为建模执行模型转换方法.; 在线阅读下载PDF 职称材料

利用UML-RT序列图支持基于事务的SoC系统级功能验证: 4; 作者余金山谭庆平李暾《计算机工程与科学》 CSCD 2007年第3期100-104,共5页; SoC基于事务的验证方法面临的一个重要问题是如何设计验证系统级复杂交互行为的事务测试序列。基于场景的序列图是设计人员捕获系统级功能规约的良好方法。本文提出了一种利用UML-RT序列图捕获SoC各个IP核之间的通信协作行为,为基于事... 展开更多; 关键词 UML-rt序列图系统芯片事务验证; 在线阅读下载PDF 职称材料

一种基于CBSE的嵌入式实时软件建模方法研究被引量：2: 5; 作者夏苑张为群《计算机科学》 CSCD 北大核心 2005年第8期213-215,F0004,共4页; 基于构件的软件工程(CBSE)是众多嵌入式软件开发方法中的一种崭新方法。本文提出一种RT-UML/LTLC的双语言框架来对基于CBSE的嵌入式实时软件的建模,既能充分地刻画出嵌入式软件实时,资源严格有限等特点,又能较好地体现出构件的特征,能... 展开更多; 关键词嵌入式实时软件 CBSE 建模 rt—UML^＊ LTLC 建模方法软件开发方法嵌入式软件软件工程构件; 在线阅读下载PDF 职称材料

一种基于形式化规约生成软件体系结构模型的方法被引量：8: 6; 作者祝义黄志球 +2 位作者曹子宁周航刘亚萍《软件学报》 EI CSCD 北大核心 2010年第11期2738-2751,共14页; 使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法.最后,通过一个实例来说明如何将该方法应用于实时软件建模.利用这种方法建立的UML-RT模型,能够从整体上提... 展开更多; 关键词形式化规约软件体系结构 LOTOS UML-rt 实时系统; 在线阅读下载PDF 职称材料

基于进程代数规约生成软件体系结构模型的方法被引量：5: 7; 作者祝义黄志球 +1 位作者周航刘林源《计算机研究与发展》 EI CSCD 北大核心 2011年第2期241-250,共10页; 需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程... 展开更多; 关键词进程代数规约软件体系结构 UML-rt 实时系统时间通信顺序进程; 在线阅读下载PDF 职称材料

实时系统设计方法被引量：1: 8; 作者王莲张云勇《计算机科学》 CSCD 北大核心 2001年第12期118-121,共4页; The real-time system is used widely since the 1990's. In the paper some typical design approaches are introduced. Then the object-oriented design approach for real-time system and the use of UML is analyzed.; 关键词实时系统有限状态机设计方法进程计算机; 在线阅读下载PDF 职称材料

基于实时对象建模的嵌入式软件开发: 9; 作者秦祖立王文海《江南大学学报（自然科学版）》 CAS 2005年第4期361-366,共6页; 将面向对象的分析、设计和实现模式应用于嵌入式实时软件的开发,能极大地提高目标软件的性能和开发效率.通过UML-RT建模语言及其支持工具应用于汽车气囊安全系统实时软件的开发,阐述了基于对象模式的嵌入式软件开发过程,提出了基于事务... 展开更多; 关键词实时UML 嵌入式软件事务映射; 在线阅读下载PDF 职称材料

题名UML-RT到一个图形设计环境体系结构的映射被引量：5: 1; 作者刘晓燕张云生 J-J.Schwarz 李俊昌; 机构昆明理工大学信自学院 LIRIS; 出处《计算机科学》 CSCD 北大核心 2006年第6期280-283,共4页; 基金云南省教育厅科学研究基金项目(04Y467D) 云南省应用基础研究重点项目(2000F0004Z)。; 文摘为解决把UML-RT建模模型平滑过渡到实时系统的图形化的软构件设计开发环境的设计模型,本文提出了从UML-RT的结构模型映射到该环境下的体系结构模型的高层设计的映射方法。首先介绍UML-RT结构建模的概念及笔者研制的设计环境,其次给出从UML-RT映射到该设计环境体系结构模型的具体方法、约束和限制。; 关键词 UML-rt 图形化建模软件体系结构映射方法; Keywords UML-rt, Graphical Modeling, Software architecture, Mapping guidelines; 分类号 TP311 [自动化与计算机技术—计算机软件与理论] TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于UML-RT的实时系统分析与设计被引量：3: 2; 作者谢拴勤解月江; 机构西北工业大学电气工程研究所; 出处《计算机工程》 CAS CSCD 北大核心 2004年第15期192-194,共3页; 基金空军装备部"十五"重点预研项目; 文摘介绍了UML-RT的模型结构和模型行为,同时给出了利用UML-RT进行系统分析设计的方法,最后以先进飞机电气系统处理机实现为例说明了使用UML-RT进行系统分析、设计的具体过程。; 关键词 UML-rt 模型结构模型行为任务集任务调度; Keywords UML-rt Modeling structure Modeling behavior Task set Task scheduling; 分类号 TP316.2 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名UML-RT到一个实时多任务执行模型的转换被引量：1: 3; 作者刘晓燕字天文张云生 J-J.Schwarz 李俊昌; 机构昆明理工大学信息工程与自动化学院 LIRIS; 出处《计算机科学》 CSCD 北大核心 2007年第7期275-278,共4页; 基金云南省教育厅科学研究基金项目(04Y467D) 云南省应用基础研究基金重点项目(2000F0004Z); 文摘为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中,本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境,其次给出从UML-RT状态图转换到该设计环境可执行模型的具体方法,最后以一个实例说明了转换方法。; 关键词 UML-rt 实时系统状态图行为建模执行模型转换方法.; Keywords UML-rt, Real-time system, State diagram, Behavior modeling, Execution model, Translation guidelines; 分类号 TP316.2 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名利用UML-RT序列图支持基于事务的SoC系统级功能验证: 4; 作者余金山谭庆平李暾; 机构国防科技大学计算机学院; 出处《计算机工程与科学》 CSCD 2007年第3期100-104,共5页; 基金国家自然科学基金资助项目(60403048); 文摘 SoC基于事务的验证方法面临的一个重要问题是如何设计验证系统级复杂交互行为的事务测试序列。基于场景的序列图是设计人员捕获系统级功能规约的良好方法。本文提出了一种利用UML-RT序列图捕获SoC各个IP核之间的通信协作行为,为基于事务的验证建立高层规约,指导系统级测试序列生成的方法。我们自行开发了一个基于构件的事务验证环境SoC-CBTVE,并在该环境中利用本文的方法对一个典型的SoC设计进行了验证和分析。实验结果表明,利用UML-RT序列图能够捕获SoC系统级IP核之间的复杂通信行为,有效支持SoC系统级功能验证。; 关键词 UML-rt序列图系统芯片事务验证; Keywords UML-rt sequence diagram SoC transaction verification; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于CBSE的嵌入式实时软件建模方法研究被引量：2: 5; 作者夏苑张为群; 机构西南师范大学计算机与信息科学学院; 出处《计算机科学》 CSCD 北大核心 2005年第8期213-215,F0004,共4页; 基金本论文为软件非功能性需求的多模型测试与外部度量(重庆市科委) 软件过程度量与质量度量综合平台建设(重庆市信息产业发展基金)联合资助下的成果; 文摘基于构件的软件工程(CBSE)是众多嵌入式软件开发方法中的一种崭新方法。本文提出一种RT-UML/LTLC的双语言框架来对基于CBSE的嵌入式实时软件的建模,既能充分地刻画出嵌入式软件实时,资源严格有限等特点,又能较好地体现出构件的特征,能更容易地过渡到基于构件的嵌入式软件开发方法的后继阶段。; 关键词嵌入式实时软件 CBSE 建模 rt—UML^＊ LTLC 建模方法软件开发方法嵌入式软件软件工程构件; Keywords Embedded real-time software, CBSE, Model, rt-UML^＊ , LTLC; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论] TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种基于形式化规约生成软件体系结构模型的方法被引量：8: 6; 作者祝义黄志球曹子宁周航刘亚萍; 机构南京航空航天大学信息科学与技术学院徐州师范大学计算机科学与技术学院; 出处《软件学报》 EI CSCD 北大核心 2010年第11期2738-2751,共14页; 基金国家自然科学基金No.60873025 江苏省自然科学基金No.BK2008389 江苏省高校自然科学基金No.08KJB520010~~; 文摘使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法.最后,通过一个实例来说明如何将该方法应用于实时软件建模.利用这种方法建立的UML-RT模型,能够从整体上提高实时系统软件体系结构设计的可信性.; 关键词形式化规约软件体系结构 LOTOS UML-rt 实时系统; Keywords formal specification； software architecture； LOTOS； UML-rt； real-time system；; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于进程代数规约生成软件体系结构模型的方法被引量：5: 7; 作者祝义黄志球周航刘林源; 机构南京航空航天大学信息科学与技术学院徐州师范大学计算机科学与技术学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2011年第2期241-250,共10页; 基金国家"八六三"高技术研究发展计划基金项目(2009AA010307) 江苏省高校自然科学基金项目(10KJB520019); 文摘需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程代数是一种用来解决并发系统通信问题的形式化方法,具有精确的语法和语义,并且便于机器自动检验与验证.TCSP是进程代数CSP的实时扩展,适合于规约实时系统带有时间约束的行为.提出一种基于进程代数规约生成SA模型的方法.首先建立了自然语言规约到SA模型的转换框架;然后使用时间通信顺序进程(TCSP)描述实时系统需求规约,通过建立TCSP到UML-RT的转换机制,从而实现进程代数规约到SA模型的转换;最后通过一个实例来验证该方法在实时软件建模过程中的有效性.实验分析表明通过该方法建立的UML-RT模型能够从整体上提高实时系统SA设计的可信性.; 关键词进程代数规约软件体系结构 UML-rt 实时系统时间通信顺序进程; Keywords process algebra specification software architecture UML-rt real-time system timed communicating sequential process（TCSP）; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名实时系统设计方法被引量：1: 8; 作者王莲张云勇; 机构科技部西南信息中心电子科技大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2001年第12期118-121,共4页; 文摘 The real-time system is used widely since the 1990's. In the paper some typical design approaches are introduced. Then the object-oriented design approach for real-time system and the use of UML is analyzed.; 关键词实时系统有限状态机设计方法进程计算机; Keywords Real-time system, Design approach ,Time Petri Net ,Object-oriented, UML,UML-rt; 分类号 TP316.2 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于实时对象建模的嵌入式软件开发: 9; 作者秦祖立王文海; 机构浙江大学工业控制技术国家重点实验室浙大中自集成控制股份有限公司; 出处《江南大学学报（自然科学版）》 CAS 2005年第4期361-366,共6页; 文摘将面向对象的分析、设计和实现模式应用于嵌入式实时软件的开发,能极大地提高目标软件的性能和开发效率.通过UML-RT建模语言及其支持工具应用于汽车气囊安全系统实时软件的开发,阐述了基于对象模式的嵌入式软件开发过程,提出了基于事务映射的多线程模型实现方法.; 关键词实时UML 嵌入式软件事务映射; Keywords UML-rt embedded software transaction mapping; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	UML-RT到一个图形设计环境体系结构的映射	刘晓燕张云生 J-J.Schwarz 李俊昌	《计算机科学》 CSCD 北大核心	2006	5	在线阅读下载PDF 职称材料
2	基于UML-RT的实时系统分析与设计	谢拴勤解月江	《计算机工程》 CAS CSCD 北大核心	2004	3	在线阅读下载PDF 职称材料
3	UML-RT到一个实时多任务执行模型的转换	刘晓燕字天文张云生 J-J.Schwarz 李俊昌	《计算机科学》 CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料
4	利用UML-RT序列图支持基于事务的SoC系统级功能验证	余金山谭庆平李暾	《计算机工程与科学》 CSCD	2007	0	在线阅读下载PDF 职称材料
5	一种基于CBSE的嵌入式实时软件建模方法研究	夏苑张为群	《计算机科学》 CSCD 北大核心	2005	2	在线阅读下载PDF 职称材料
6	一种基于形式化规约生成软件体系结构模型的方法	祝义黄志球曹子宁周航刘亚萍	《软件学报》 EI CSCD 北大核心	2010	8	在线阅读下载PDF 职称材料
7	基于进程代数规约生成软件体系结构模型的方法	祝义黄志球周航刘林源	《计算机研究与发展》 EI CSCD 北大核心	2011	5	在线阅读下载PDF 职称材料
8	实时系统设计方法	王莲张云勇	《计算机科学》 CSCD 北大核心	2001	1	在线阅读下载PDF 职称材料
9	基于实时对象建模的嵌入式软件开发	秦祖立王文海	《江南大学学报（自然科学版）》 CAS	2005	0	在线阅读下载PDF 职称材料