国家高技术研究发展计划(2007AA01Z131)
- 作品数：7 被引量：8H指数：2
- 相关作者：熊光泽杨霞陈文宇陈福余盛季更多>>
- 相关机构：电子科技大学中国人民武装警察部队警官学院攀枝花大学更多>>
- 发文基金：国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 嵌入式操作系统进程监测器的设计与实现
- 2011年
- 为避免嵌入式操作系统的进程受到恶意软件的修改破坏,提出一种适合于嵌入式操作系统的进程监测器。监测器周期性地对系统进程控制块进行检测恢复,通过设置进程检查点为系统提供恢复操作进程,并在Linux上进行实现,给出主要的数据结构和实现过程。实验结果表明,监测器的运行对系统性能影响小,能对系统进程进行有效的检测恢复。
- 刘道宏雷航郭文生
- 关键词：检测点
- Hades高可信架构中分区间信息流控制的研究被引量：2
- 2012年
- 为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制。该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通过实验原型进一步验证了该信息流控制技术的正确性和有效性。
- 杨霞古和亦汪强桑楠熊光泽
- 关键词：BLP安全模型信息流控制
- 垃圾收集器实时化的研究
- 2010年
- 用垃圾收集器进行动态内存管理对大规模软件系统的开发具有重要意义,为把垃圾收集器应用到嵌入式实时系统中,对垃圾收集器实时化进行了研究,提出了动态执行垃圾收集器任务以及用最短时限优先(EDF)算法调度垃圾收集器的算法,仿真实验和内存分析表明,与以往的实时垃圾收集器相比,所提出的算法可以进一步降低系统内存需求,提高系统的灵活性,并对分布式垃圾收集器进行了研究,性能分析表明基于关键引用验证的分布式垃圾收集器更适用于大规模分布式系统.
- 张宁张春宇杨霞熊光泽廖勇
- 关键词：实时系统调度
- 用角轮廓结构实现基于O-Tree表示法的模块快速放置算法
- 2008年
- 在VLSI物理设计中,O-Tree是一种高效简洁的布局表示法,但其对应的模块放置算法因为基于水平和垂直约束图及其操作而复杂且费时(算法时间复杂度为O(n2)).文中算法利用模块放置过程中右上端边沿形成的角轮廓结构的阶梯下降性,结合O-Tree编码结点间的父子关系,快速确定模块的放置位置.在模块的放置过程中不需要约束图,只保持一个角轮廓,使模块的放置更加简单高效,算法时间复杂度降低为O(nlogn).在MCNC Benchmark上的实验结果验证了该算法的有效性.
- 李康虞厥邦于永斌
- 支持MLS的多层次嵌入式高可信软件架构
- 2009年
- 为增强安全关键系统的高可信能力,在分析高可信保障机制现状的基础上,提出了一种多层次的高可信软件架构。该架构采用"时空分离"思想、虚拟机技术,为基于MLS的嵌入式安全关键系统提供了一种整体解决方案。基于该架构,研究了多层次的安全和防危策略管理方法、信息流控制机制、可信软件的评估和认证方法,为安全关键嵌入式系统提供可认证的安全服务。
- 杨霞雷剑熊光泽
- 关键词：BLP安全模型信息流控制安全关键系统
- Java同步线程模型分析与改进被引量：6
- 2010年
- 目前普遍采用急救包(Band-Aid)类库的方式解决Java线程模型存在的同步问题,但类库中的代码很难或无法实现优化。该文针对Java同步线程模型的缺陷,扩展synchronised关键字语法,使它支持多个参数和能接受一个超时说明;重新定义wait()使它返回一个boolean变量来解决超时检测问题;通过扩展语法方法解决了同步问题,以确保使用Java线程所开发的程序的稳定、可靠和可优化。
- 陈文宇陈福余盛季孙世新
- 嵌入式构件中的自适应机制与策略
- 2009年
- 为了对嵌入式构件进行智能管理,提出了一种基于实例的学习算法。该适应算法能对经XML形式化表达过的构件进行自适应调整,从而在软件复用过程中减少人工干预。它比由自然语言描述的构件有更强的通用性、灵活性、自治性。
- 万云强陈文宇张艳
- 关键词：K-近邻法扩展标记语言树匹配
