搜索筛选:
搜索耗时0.5473秒,为你在为你在102,267,441篇论文里面共找到 16 篇相符的论文内容
发布年度:
[学位论文] 作者：桂盛霖,,
来源：电子科技大学 年份：2011
安全关键嵌入式实时系统正日益深入地被应用到对任务执行时间和失效影响有严格要求的若干安全关键领域,如航空航天、医疗设备、汽车电子和核电控制等。这类系统除对其功能性...
[期刊论文] 作者：桂盛霖,徐洁,
来源：实验科学与技术 年份：2013
《计算机系统结构》是计算机专业的一门重要的专业课程。在《计算机系统结构》课程的教学改革背景与尝试下，根据课程现场中不同能力学生的完成情况，调整和修改了实验课程的部分......
[期刊论文] 作者：桂盛霖,雷航,
来源：电子科技大学学报 年份：2008
许多嵌入式系统依靠单电池供电。基于嵌入式实时操作系统，提出了一种具有通用性的松弛任务模型，并在此基础上根据电池剩余电能设计了相应的实时调度算法来防止在任务运行过程中......
[期刊论文] 作者：章宗美, 桂盛霖, 任飞,,
来源：计算机科学 年份：2019
随着Android系统的广泛应用,Android平台下的恶意应用层出不穷,并且恶意应用躲避现有检测工具的手段也越来越复杂,亟需更有效的检测技术来分析恶意行为。文中提出并设计了一...
[期刊论文] 作者：于淼, 李允, 桂盛霖, 罗蕾,,
来源：计算机工程 年份：2012
为验证嵌入式实时系统开发过程中任务集的可调度性,设计并实现一种嵌入式系统调度分析工具。提出通用任务模型,建立任务与事件到达自动机和任务状态自动机的状态关系映射,利...
[期刊论文] 作者：李允, 桂盛霖, 陈更, 罗蕾,,
来源：计算机科学 年份：2012
为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中...
[期刊论文] 作者：陶勇,桂盛霖,马亮,尹立孟,
来源：计算机工程 年份：2009
体系结构分析设计语言（AADL）是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为...
[期刊论文] 作者：徐洁,桂盛霖,邓建,张建,
来源：实验科学与技术 年份：2013
在已经具备设计与实现基于FPGA的CPU的技术条件和教学改革的背景下，分析和总结了硬件核心课程”数字逻辑”“计算机组成原理”和“计算机系统结构”原有实验存在的问题。为了...
[期刊论文] 作者：刘倩,桂盛霖,李允,罗蕾,,
来源：计算机应用 年份：2009
针对体系结构分析设计语言(AADL)模型的可调度性验证问题,提出了利用模型检测工具UPPAAL对其线程组件在非抢占型调度策略下的可调度性进行形式化分析和验证的方法,并实现了从AADL模型到UPPAAL中模型的模型转换工具。实验结果证明了通过UPPAAL来分析和验证AADL模......
[期刊论文] 作者：陆少鹏,桂盛霖,李允,罗蕾,,
来源：计算机应用 年份：2010
面向嵌入式软件的开发工具目前正在从基于代码的传统开发环境向基于模型的开发环境发展。为此,研究了一个基于模型的嵌入式开发环境LambdaMDE,在LambdaPro的基础上集成OSATE和Simulink模型开发工具以及其他相关工具,包含了建模、仿真验证、代码生成和测试等嵌入......
[期刊论文] 作者：刘雪琴, 桂盛霖, 罗蕾, 罗惠琼,,
来源：计算机应用研究 年份：2008
随着嵌入式系统在安全关键领域的广泛应用,必须采用现代软件工程的技术进一步提高其可信性,以保证人们的生命安全。基于模型驱动方法,对AADL（体系结构分析设计语言）模型的框架......
[期刊论文] 作者：张凌浩, 桂盛霖, 穆逢君, 王胜,,
来源：计算机科学 年份：2019
如何发现代码克隆,是软件维护和软件侵权纠纷案件中的一个关键问题。由于商业保密等原因,在商业软件的侵权纠纷案中往往无法使用基于源代码比对的克隆检测技术。因此,针对这...
[期刊论文] 作者：桂盛霖,罗蕾,李允,于淼,徐建华,
来源：软件学报 年份：2011
分布式实时系统是广泛应用在众多关键领域的一类复杂实时系统.为保证其上运行任务的实时性,传统基于最坏响应时间的调度分析方法往往包含了实际系统运行过程中无法达到的最坏...
[期刊论文] 作者：李建一,桂盛霖,尹立孟,罗惠琼,
来源：实验科学与技术 年份：2009
基于模型驱动架构MDA方法，对AADL进行了研究，提出了AADL模型元素同ada语言元素之间的映射规则。开发了AADL模型的ada代码自动生成器Generator—ada，最后以实例证明将AADL模型自...
[期刊论文] 作者：张凌浩,王胜,周辉,陈一凡,桂盛霖,,
来源：计算机应用 年份：2020
MAVLink是一种应用于无人机(UAV)与地面站(GCS)之间的轻量级通信协议,它定义了一组包括UAV状态和GCS控制命令的UAV与GCS交互的双向消息。针对MAVLink协议缺乏足够的安全机制,存在可能导致严重威胁和隐患的安全漏洞的问题,提出了一种基于MAVLink协议的UAV系统安......
[期刊论文] 作者：李允，桂盛霖，陈更，罗蕾，LIYun，GUISheng-lin，CHENGeng，LUOLei,
来源：计算机科学 年份：2012
...
相关搜索：
