熊光泽
- 作品数:208 被引量:1,268H指数:20
- 供职机构:电子科技大学计算机科学与工程学院更多>>
- 发文基金:国家高技术研究发展计划国防科技技术预先研究基金中国人民解放军总装备部预研基金更多>>
- 相关领域:自动化与计算机技术电子电信航空宇航科学技术理学更多>>
- 嵌入式应用中运行支撑框架的构件化技术研究被引量:7
- 2005年
- 为增强嵌入式软件的复用性、可移植性,缩短开发周期,通过研究现有的主流构件运行支撑技术,提出了一种面向嵌入式领域的运行支撑体系结构。为实现灵活、开放的嵌入式应用平台,本文首先建立了构件化的嵌入式运行支撑框架模型,然后结合PDA手机领域重点分析了开放式HLA结构和虚拟OS平台等关键技术,最后利用伪代码示例探讨了该领域中应用平台的定制与扩展方法。
- 冯庆桑楠熊光泽
- 关键词:嵌入式构件中间件嵌入式操作系统
- 一种高可信赖测控计算机的设计与实现被引量:3
- 2005年
- 本文首先从硬件的角度对计算机容错系统的理论基础、结构模型作简单论述,随后介绍了一种基于实时操作系统CRTOS2.0、MPC860嵌入式处理器的高可信赖的测控计算机系统硬件平台的设计方案,并着重阐述了其中最主要的热备份测控计算机CPU板电路和仲裁电路等关键模块的设计细节;该系统具有突出的通用性和高可信赖的特点。
- 熊建熊光泽
- 关键词:MPC860硬件容错双机热备份
- 嵌入式系统内存管理方案研究被引量:29
- 2005年
- 嵌入式系统的内存管理机制必须满足实时性和可靠性的要求。本文以开源的操作系统RTEMS为例,介绍嵌入式系统中内存管理的要求、存在的问题以及解决的策略。
- 曾非一桑楠熊光泽
- 关键词:内存管理嵌入式系统操作系统RTEMS实时性开源
- 防危核一致性保障技术的研究
- 2006年
- 通过理想防危策略及其制定算法把防危策略的制定与一致性险证集为一体,从而解决防危策略与系统防危需求之间一致性问题;然后研究了以Z语言为桥梁,用数学证明来解决防危核与防危策略之间一致性证明的方法。以十字路口的交通控制为例,全过程地实现和验证了所提出的思想和算法的正确性。
- 黎忠文熊光泽
- 关键词:防危核安全系统
- 多类型任务集的容错实时调度算法被引量:3
- 2004年
- 针对以往容错实时调度算法只能调度单一的具有容错需求任务的情况,建立了一种单处理器上的容错实时调度模型,并提出了相应的容错实时调度算法。该算法不仅能同时调度具有容错需求和无容错需求的周期实时任务,还可调度随机性非周期任务,其适用范围广泛。
- 王亮雷航熊光泽
- 关键词:容错技术实时调度可靠性
- 基于SDL的硬实时调度可执行分析模型被引量:1
- 2002年
- 1引言
在后PC时代,嵌入式实时系统的需求变得越来越复杂,传统的开发方法已经难于管理及实现日益复杂的实时软件.形式化描述技术FDTs(F0mal Description Techniques)为实时软件代码的自动生成提供了有力的根据,它允许实时软件的仿真、验证与确认(V&V)及代码的自动生成同步进行.
- 杨仕平熊光泽陈慧
- 关键词:软件开发嵌入式实时系统软件代码SDL
- 基于RT-Linux防危保障机制的实验模型
- 2003年
- 随着嵌入式实时系统在安全关键系统中日益广泛的应用,其软件不但要保证嵌入式实时系统的功能性和时间限制,对其安全性、稳定性和可靠性的要求也大大提高。软件错误的比例大大高于硬件错误,软件错误可能引起硬件误操作,进而直接威胁系统安全。使用防危核可有效防止关键设备误操作。本文以RT-Linux实时操作系统为平台,对十字路口交通灯控制建立安全实验模型,研讨防危核实现技术,为防危保障探索新的实现途径。
- 杨霞熊光泽杨仕平于逊
- 关键词:RT-LINUX实时操作系统图形用户界面内核模块
- 一种增强任务关键无线网络可信性的消息调度策略被引量:1
- 2008年
- 任务关键无线网络面临实时和安全等可信因素的挑战,而已有的消息调度算法忽略了安全因素。提出一种安全感知的实时调度算法(SAMS)。在不违背关键消息的实时约束和安全约束的前提下,该算法能最大化提升系统的安全服务质量。仿真结果显示SAMS的有效性和健壮性。
- 江维熊光泽
- 关键词:消息调度
- 可升级的高可信嵌入式系统模型被引量:3
- 2002年
- 针对嵌入式系统升级的基本需求及面临的主要问题,提出一种支持高可信嵌入式系统安全的在线升级的模型。详细分析了该模型的理论基础和结构组成,并指出实现该模型需要解决的问题。
- 陈宇熊光泽
- 关键词:嵌入式系统冗余操作系统
- 安全操作系统授权撤销机制的研究
- 2003年
- 1引言
为保障系统的安全性,现代信息系统都采用了基于访问控制的安全机制.访问控制包含身份认证、授权和审计等功能,其基本思想一般是采用引用监视器来拦截用户进程的系统调用操作,通过安全策略匹配检查,授予或拒绝用户访问敏感信息的权限.
- 吴新勇熊光泽
- 关键词:安全操作系统计算机系统