雷剑
- 作品数：5 被引量：14H指数：3
- 供职机构：电子科技大学计算机科学与工程学院更多>>
- 发文基金：国家高技术研究发展计划广东省科技攻关计划国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 嵌入式高可信架构中基于静态模型的调度研究被引量：4
- 2009年
- 为解决嵌入式高可信软件架构中的实时调度问题,分析了现有采用分区机制的安全系统中分区调度的不足,提出了一种基于固定周期分区的静态调度模型,并采用优先级位图算法建立了两级调度机制。为了保障分区中任务的实时性和正确性,对分区中任务采用静态优先级和最早时限优先调度(EDF)动态优先级两种调度策略,分别就其任务调度条件和可调度性进行了理论研究,针对复杂的动态优先级任务提出了一种可调度条件,并通过仿真实验进一步验证了此调度条件的正确性。
- 杨霞桑楠雷剑熊光泽
- 关键词：静态模型调度
- 虚拟逻辑分析仪在嵌入式仿真中的研究与实现
- 逻辑分析仪是数据域测量中最重要的工具之一,在嵌入式系统中得到了广泛的应用.本文利用虚拟仪器的思想,结合了虚拟环境的特点,设计出了用于嵌入式仿真系统中的一种新型虚拟逻辑分析仪.最后,按照虚实结合的思想,同时结合了监控嵌入式...
- 王鑫罗克露邢茜雷剑吴权国
- 关键词：虚拟逻辑分析仪虚拟仪器嵌入式系统
- 文献传递
- 支持MLS的多层次嵌入式高可信软件架构
- 2009年
- 为增强安全关键系统的高可信能力,在分析高可信保障机制现状的基础上,提出了一种多层次的高可信软件架构。该架构采用"时空分离"思想、虚拟机技术,为基于MLS的嵌入式安全关键系统提供了一种整体解决方案。基于该架构,研究了多层次的安全和防危策略管理方法、信息流控制机制、可信软件的评估和认证方法,为安全关键嵌入式系统提供可认证的安全服务。
- 杨霞雷剑熊光泽
- 关键词：BLP安全模型信息流控制安全关键系统
- 嵌入式系统仿真开发平台的体系结构研究
- 嵌入式系统的应用开发已经成为了计算机工业最热门的领域,以信息家电为典型代表的电子产品,其灵魂就是嵌入在其中的计算机系统---嵌入式系统.仿真开发平台是支持嵌入式软件开发的一种快速、高效和低成本的工具,对于提高嵌入式软件的...
- 雷剑
- 关键词：嵌入式系统仿真开发平台软件体系结构软件总线软件复用
- 文献传递
- 嵌入式系统仿真开发环境的体系结构被引量：6
- 2003年
- 对软件体系结构进行了研究,设计了iBus软总线,由总线核和总线适配器组成一个基础结构,作为通信通道连接系统功能部件。总线核嵌入系统主程序、动态创建总线适配器和挂接各个系统功能部件,实现了软件系统集成和即插即用。基于iBus体系结构,提出了一个可扩展和稳定的集成框架,可用于构造嵌入式系统仿真开发环境。
- 雷剑罗克露
- 关键词：嵌入式系统仿真开发环境软总线软插件软件体系结构
