国家自然科学基金(90718019)
- 作品数：11 被引量：44H指数：4
- 相关作者：桂盛霖罗蕾李允徐建华于淼更多>>
- 相关机构：电子科技大学北京科银京成技术有限公司西南交通大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 移动设备上富媒体场景渲染优化策略被引量：5
- 2010年
- 随着移动设备上越来越多的富媒体应用,对富媒体引擎提出了更高的要求.为了提高引擎性能,提出移动设备上富媒体场景渲染优化策略.该优化策略从局部渲染和多边形填充2个方面进行:通过跟踪场景变化的失效区域来体现局部渲染;在多边形填充方面提出一种Grid算法,通过记录多边形的边与屏幕扫描线的交点信息来进行边的反走样计算以及多边形光栅化填充,且支持复杂自交多边形填充.经过推导证明,Grid算法在时间复杂度与空间复杂度两方面比传统的活性边填充算法和扫描线种子填充算法更优,更适合于移动设备的图形填充.最后通过仿真测试验证了以上两个方面优化的良好效果.
- 张骥先罗蕾姜帆
- 关键词：富媒体多边形填充
- 嵌入式实时软件模型开发环境研究被引量：3
- 2012年
- 为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码。通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证。
- 李允桂盛霖陈更罗蕾
- 关键词：嵌入式实时软件实时性
- AADL模型的代码自动生成及集成技术被引量：6
- 2009年
- 体系结构分析设计语言(AADL)是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为C语言框架代码的自动代码生成器Generator。实例证明了AADL模型自动转换为可执行C代码的有效性。
- 陶勇桂盛霖马亮尹立孟
- 关键词：嵌入式软件模型驱动体系结构代码自动生成
- 能耗限制的松弛任务实时调度算法被引量：3
- 2008年
- 许多嵌入式系统依靠单电池供电。基于嵌入式实时操作系统,提出了一种具有通用性的松弛任务模型,并在此基础上根据电池剩余电能设计了相应的实时调度算法来防止在任务运行过程中耗尽不可充电电源的电能所引起的失效。结果表明,该模型能够有效及时地根据剩余电池电能来调整任务周期,使之能够在使命时间内正确完成计算任务,在一定程度上解决了电池电能对使命时间的约束问题。
- 桂盛霖雷航
- 关键词：动态电压调整实时调度
- 基于时间自动机的嵌入式系统调度分析工具被引量：1
- 2012年
- 为验证嵌入式实时系统开发过程中任务集的可调度性,设计并实现一种嵌入式系统调度分析工具。提出通用任务模型,建立任务与事件到达自动机和任务状态自动机的状态关系映射,利用基于模型检测的时间自动机可达性方法判定系统的可调度性。仿真实例结果表明,该工具的分析准确性较高。
- 于淼李允桂盛霖罗蕾
- 关键词：形式化方法时间自动机可调度性嵌入式实时系统
- 基于单调速率的可调度性判定改进算法被引量：2
- 2011年
- 在单调速率调度策略的基础上,提出一种改进的任务集可调度性判定算法。该算法通过设定时钟变量模拟调度过程中的系统时钟,在时钟变量值增长过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限的满足情况,判定任务的可调度性,从而确定任务集的可调度性。通过实例分析及与现有判定方法的比较,验证了该算法的正确性和高效性。
- 徐建华李允
- 关键词：实时调度可调度性判定时钟变量
- 基于模型的嵌入式开发环境--LambdaMDE被引量：1
- 2010年
- 面向嵌入式软件的开发工具目前正在从基于代码的传统开发环境向基于模型的开发环境发展。为此,研究了一个基于模型的嵌入式开发环境LambdaMDE,在LambdaPro的基础上集成OSATE和Simulink模型开发工具以及其他相关工具,包含了建模、仿真验证、代码生成和测试等嵌入式软件开发的全过程。符合嵌入式软件开发工具发展趋势,具备了相应的理论、技术和产品基础。
- 陆少鹏桂盛霖李允罗蕾
- 关键词：嵌入式软件开发环境
- 基于仿真方法的任务集可调度性判定工具被引量：1
- 2012年
- 针对含有纯周期任务的任务集可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量,模拟任务调度过程中的系统时钟,在时钟变量值增长的过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限,判定任务集的可调度性。实例分析证明了该工具的可调度性判定结果正确。
- 徐建华李允
- 关键词：可调度性判定时钟变量
- 基于UPPAAL的AADL模型可调度性验证被引量：16
- 2009年
- 针对体系结构分析设计语言(AADL)模型的可调度性验证问题,提出了利用模型检测工具UPPAAL对其线程组件在非抢占型调度策略下的可调度性进行形式化分析和验证的方法,并实现了从AADL模型到UPPAAL中模型的模型转换工具。实验结果证明了通过UPPAAL来分析和验证AADL模型的可调度性问题的可行性。相比其他方法而言,基于形式化理论的本方法的验证结果更加精确。
- 刘倩桂盛霖李允罗蕾
- 关键词：UPPAAL可调度性
- 基于自动机理论的分布式实时调度分析工具被引量：7
- 2011年
- 分布式实时系统是广泛应用在众多关键领域的一类复杂实时系统.为保证其上运行任务的实时性,传统基于最坏响应时间的调度分析方法往往包含了实际系统运行过程中无法达到的最坏情况,因此在这些情况下的分析结果过于悲观.基于自动机理论的模型检测方法的好处在于能够穷尽地搜索整个系统状态空间,得到精确的分析结果.为了利用形式化方法的优势来精确分析分布式系统上任务的调度性,建立了分布式系统上的任务形式化模型,提出了行为自动机和环境自动机以分别描述任务的执行语义及其外部到达关系,把任务的调度性分析转换为对自动机网络位置的可达性进行分析,证明了在某些调度策略下的调度性的可判定性,并给出了满足调度可判定性调度策略的条件和范围.基于上述结论,实现了一个支持分布式系统任务实时调度分析工具SCT(schedulability checking tool),并与其他工具进行了分析精确度和性能的比较.比较结果显示,SCT可以提供最为精确的分析结果,但同时也具有最长的分析时间.
- 桂盛霖罗蕾李允于淼徐建华
- 关键词：分布式系统硬实时
