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

代码自动插装技术的研究与实现被引量：15: 1; 作者晏华袁海东尹立孟《电子科技大学学报》 EI CAS CSCD 北大核心 2002年第1期62-66,共5页; 介绍了代码插装技术的应用背景比较了手工和自动两种代码插装方式重点分析和比较了代码自动插装在编译过程中各阶段实现的可行性和思路提出在编译预处理和编译阶段之间增加一个CPU无关的编译预处理文件且具有代码自动插装功能的语法词... 展开更多; 关键词覆盖测试代码插装软件工程软件测试; 在线阅读下载PDF 职称材料

嵌入式软件生产线的构建技术研究: 2; 作者李允罗蕾王丽杰《计算机科学与探索》 CSCD 2011年第7期652-661,共10页; 嵌入式软件复杂度的提高加剧了软件风险。研究了嵌入式软件的特点和发展趋势,提出了基于Trustie环境的嵌入式软件生产线的构建方法,阐述了调度分析、代码自动生成和多余度调试的基本原理和实现技术,介绍了嵌入式软件生产线在飞行控制领... 展开更多; 关键词嵌入式软件生产线调度分析代码自动生成多余度调试飞行控制软件; 在线阅读下载PDF 职称材料

AADL模型的代码自动生成及集成技术被引量：6: 3; 作者陶勇桂盛霖 +1 位作者马亮尹立孟《计算机工程》 CAS CSCD 北大核心 2009年第8期59-61,共3页; 体系结构分析设计语言(AADL)是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为C语言框架代码的自动代码生成器Generator。实例证明了AADL... 展开更多; 关键词嵌入式软件模型驱动体系结构转换规则代码自动生成; 在线阅读下载PDF 职称材料

AADL模型代码自动生成技术研究被引量：4: 4; 作者刘雪琴桂盛霖 +1 位作者罗蕾罗惠琼《计算机应用研究》 CSCD 北大核心 2008年第12期3631-3635,共5页; 随着嵌入式系统在安全关键领域的广泛应用,必须采用现代软件工程的技术进一步提高其可信性,以保证人们的生命安全。基于模型驱动方法,对AADL(体系结构分析设计语言)模型的框架代码自动生成技术进行了研究,提出了从AADL模型元素到C和Ada... 展开更多; 关键词体系结构分析设计语言建模工具代码自动生成技术映射规则; 在线阅读下载PDF 职称材料

基于UPPAAL的AADL模型可调度性验证被引量：16: 5; 作者刘倩桂盛霖 +1 位作者李允罗蕾《计算机应用》 CSCD 北大核心 2009年第7期1820-1824,共5页; 针对体系结构分析设计语言(AADL)模型的可调度性验证问题,提出了利用模型检测工具UPPAAL对其线程组件在非抢占型调度策略下的可调度性进行形式化分析和验证的方法,并实现了从AADL模型到UPPAAL中模型的模型转换工具。实验结果证明了通过U... 展开更多; 关键词体系结构分析设计语言 UPPAAL 可调度性非抢占; 在线阅读下载PDF 职称材料

基于单调速率的可调度性判定改进算法被引量：2: 6; 作者徐建华李允《计算机工程》 CAS CSCD 北大核心 2011年第22期45-47,共3页; 在单调速率调度策略的基础上,提出一种改进的任务集可调度性判定算法。该算法通过设定时钟变量模拟调度过程中的系统时钟,在时钟变量值增长过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限的满足情况,判定任务的可调度性... 展开更多; 关键词实时调度单调速率任务集可调度性判定时钟变量; 在线阅读下载PDF 职称材料

基于仿真方法的任务集可调度性判定工具被引量：1: 7; 作者徐建华李允《计算机工程》 CAS CSCD 2012年第2期237-239,共3页; 针对含有纯周期任务的任务集可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量,模拟任务调度过程中的系统时钟,在时钟变量值增长的过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限,判... 展开更多; 关键词任务集可调度性判定时钟变量周期任务; 在线阅读下载PDF 职称材料

基于模型的嵌入式开发环境--LambdaMDE 被引量：1: 8; 作者陆少鹏桂盛霖 +1 位作者李允罗蕾《计算机应用》 CSCD 北大核心 2010年第3期607-611,共5页; 面向嵌入式软件的开发工具目前正在从基于代码的传统开发环境向基于模型的开发环境发展。为此,研究了一个基于模型的嵌入式开发环境LambdaMDE,在LambdaPro的基础上集成OSATE和Simulink模型开发工具以及其他相关工具,包含了建模、仿真验... 展开更多; 关键词模型方法嵌入式软件开发环境; 在线阅读下载PDF 职称材料

题名代码自动插装技术的研究与实现被引量：15: 1; 作者晏华袁海东尹立孟; 机构电子科技大学计算机科学与工程学院北京科银京成技术有限公司成都研发中心; 出处《电子科技大学学报》 EI CAS CSCD 北大核心 2002年第1期62-66,共5页; 文摘介绍了代码插装技术的应用背景比较了手工和自动两种代码插装方式重点分析和比较了代码自动插装在编译过程中各阶段实现的可行性和思路提出在编译预处理和编译阶段之间增加一个CPU无关的编译预处理文件且具有代码自动插装功能的语法词法分析阶段的一种最佳实现方案给出了一个简单原型的实现; 关键词覆盖测试代码插装软件工程软件测试; Keywords coverage test code instrumentation compile lexical analysis syntax analysis; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名嵌入式软件生产线的构建技术研究: 2; 作者李允罗蕾王丽杰; 机构电子科技大学计算机学院北京科银京成技术有限公司成都研发中心; 出处《计算机科学与探索》 CSCD 2011年第7期652-661,共10页; 基金国家高技术研究发展计划(863)No.2007AA010304 2009AA010312~~; 文摘嵌入式软件复杂度的提高加剧了软件风险。研究了嵌入式软件的特点和发展趋势,提出了基于Trustie环境的嵌入式软件生产线的构建方法,阐述了调度分析、代码自动生成和多余度调试的基本原理和实现技术,介绍了嵌入式软件生产线在飞行控制领域的应用情况。; 关键词嵌入式软件生产线调度分析代码自动生成多余度调试飞行控制软件; Keywords embedded software production line schedulability analysis automatic code generation multi-modular redundancy debugging flight control software; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名AADL模型的代码自动生成及集成技术被引量：6: 3; 作者陶勇桂盛霖马亮尹立孟; 机构电子科技大学计算机科学与工程学院北京科银京成技术有限公司成都研发中心; 出处《计算机工程》 CAS CSCD 北大核心 2009年第8期59-61,共3页; 基金国家自然科学基金资助项目(90718019) 国家“863”计划基金资助重点项目(2007AA010304); 文摘体系结构分析设计语言(AADL)是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为C语言框架代码的自动代码生成器Generator。实例证明了AADL模型自动转换为可执行C代码的有效性。; 关键词嵌入式软件模型驱动体系结构转换规则代码自动生成; Keywords embedded software Model Driven Architecture（MDA） conversion rules code automatic generation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名AADL模型代码自动生成技术研究被引量：4: 4; 作者刘雪琴桂盛霖罗蕾罗惠琼; 机构电子科技大学软件学院北京科银京成技术有限公司成都研发中心; 出处《计算机应用研究》 CSCD 北大核心 2008年第12期3631-3635,共5页; 基金国家自然科学基金资助项目(90718019) 国家“863”计划资助项目(2007AA010304); 文摘随着嵌入式系统在安全关键领域的广泛应用,必须采用现代软件工程的技术进一步提高其可信性,以保证人们的生命安全。基于模型驱动方法,对AADL(体系结构分析设计语言)模型的框架代码自动生成技术进行了研究,提出了从AADL模型元素到C和Ada的语法元素的映射规则,由此实现了自动代码生成器generator并集成在开源工具OSATE中。最后通过一个实例,说明将AADL模型自动转换为框架代码后与模块代码结合的有效性。; 关键词体系结构分析设计语言建模工具代码自动生成技术映射规则; Keywords architecture analysis and design language modeling tool code automatic generation technology mapping rules; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于UPPAAL的AADL模型可调度性验证被引量：16: 5; 作者刘倩桂盛霖李允罗蕾; 机构西南交通大学信息科学与技术学院北京科银京成技术有限公司成都研发中心电子科技大学计算机科学与工程学院; 出处《计算机应用》 CSCD 北大核心 2009年第7期1820-1824,共5页; 基金国家自然科学基金重大研究计划项目(90718019) 国家863计划项目(2007AA010304); 文摘针对体系结构分析设计语言(AADL)模型的可调度性验证问题,提出了利用模型检测工具UPPAAL对其线程组件在非抢占型调度策略下的可调度性进行形式化分析和验证的方法,并实现了从AADL模型到UPPAAL中模型的模型转换工具。实验结果证明了通过UPPAAL来分析和验证AADL模型的可调度性问题的可行性。相比其他方法而言,基于形式化理论的本方法的验证结果更加精确。; 关键词体系结构分析设计语言 UPPAAL 可调度性非抢占; Keywords Architecture Analysis and Design Language（AADL） UPPAAL schedulability non-preempt; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于单调速率的可调度性判定改进算法被引量：2: 6; 作者徐建华李允; 机构西南交通大学信息科学与技术学院北京科银京成技术有限公司成都研发中心电子科技大学计算机科学与工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2011年第22期45-47,共3页; 基金国家自然科学基金资助项目(90718019) 国家"863"计划基金资助项目(2007AA010304); 文摘在单调速率调度策略的基础上,提出一种改进的任务集可调度性判定算法。该算法通过设定时钟变量模拟调度过程中的系统时钟,在时钟变量值增长过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限的满足情况,判定任务的可调度性,从而确定任务集的可调度性。通过实例分析及与现有判定方法的比较,验证了该算法的正确性和高效性。; 关键词实时调度单调速率任务集可调度性判定时钟变量; Keywords real-time schedule Rate Monotonic（RM） task set schedulability test clock variable; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于仿真方法的任务集可调度性判定工具被引量：1: 7; 作者徐建华李允; 机构西南交通大学信息科学与技术学院北京科银京成技术有限公司成都研发中心电子科技大学计算机科学与工程学院; 出处《计算机工程》 CAS CSCD 2012年第2期237-239,共3页; 基金国家自然科学基金资助项目(90718019) 国家"863"计划基金资助项目(2007AA010304); 文摘针对含有纯周期任务的任务集可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量,模拟任务调度过程中的系统时钟,在时钟变量值增长的过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限,判定任务集的可调度性。实例分析证明了该工具的可调度性判定结果正确。; 关键词任务集可调度性判定时钟变量周期任务; Keywords task set schedulability test clock variable periodic task; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于模型的嵌入式开发环境--LambdaMDE 被引量：1: 8; 作者陆少鹏桂盛霖李允罗蕾; 机构西南交通大学信息科学与技术学院北京科银京成技术有限公司成都研发中心电子科技大学计算机科学与工程学院; 出处《计算机应用》 CSCD 北大核心 2010年第3期607-611,共5页; 基金国家自然科学基金重大研究计划项目(90718019) 国家863计划项目(2007AA010304); 文摘面向嵌入式软件的开发工具目前正在从基于代码的传统开发环境向基于模型的开发环境发展。为此,研究了一个基于模型的嵌入式开发环境LambdaMDE,在LambdaPro的基础上集成OSATE和Simulink模型开发工具以及其他相关工具,包含了建模、仿真验证、代码生成和测试等嵌入式软件开发的全过程。符合嵌入式软件开发工具发展趋势,具备了相应的理论、技术和产品基础。; 关键词模型方法嵌入式软件开发环境; Keywords model approach embedded software development environment; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	代码自动插装技术的研究与实现	晏华袁海东尹立孟	《电子科技大学学报》 EI CAS CSCD 北大核心	2002	15	在线阅读下载PDF 职称材料
2	嵌入式软件生产线的构建技术研究	李允罗蕾王丽杰	《计算机科学与探索》 CSCD	2011	0	在线阅读下载PDF 职称材料
3	AADL模型的代码自动生成及集成技术	陶勇桂盛霖马亮尹立孟	《计算机工程》 CAS CSCD 北大核心	2009	6	在线阅读下载PDF 职称材料
4	AADL模型代码自动生成技术研究	刘雪琴桂盛霖罗蕾罗惠琼	《计算机应用研究》 CSCD 北大核心	2008	4	在线阅读下载PDF 职称材料
5	基于UPPAAL的AADL模型可调度性验证	刘倩桂盛霖李允罗蕾	《计算机应用》 CSCD 北大核心	2009	16	在线阅读下载PDF 职称材料
6	基于单调速率的可调度性判定改进算法	徐建华李允	《计算机工程》 CAS CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
7	基于仿真方法的任务集可调度性判定工具	徐建华李允	《计算机工程》 CAS CSCD	2012	1	在线阅读下载PDF 职称材料
8	基于模型的嵌入式开发环境--LambdaMDE	陆少鹏桂盛霖李允罗蕾	《计算机应用》 CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料