公共文化服务平台

基于RT-Linux防危保障机制的实验模型: 2003年; 随着嵌入式实时系统在安全关键系统中日益广泛的应用,其软件不但要保证嵌入式实时系统的功能性和时间限制,对其安全性、稳定性和可靠性的要求也大大提高。软件错误的比例大大高于硬件错误,软件错误可能引起硬件误操作,进而直接威胁系统安全。使用防危核可有效防止关键设备误操作。本文以RT-Linux实时操作系统为平台,对十字路口交通灯控制建立安全实验模型,研讨防危核实现技术,为防危保障探索新的实现途径。; 杨霞熊光泽杨仕平于逊; 关键词：RT-LINUX 实时操作系统图形用户界面内核模块

可升级的高可信嵌入式系统模型被引量：3: 2002年; 针对嵌入式系统升级的基本需求及面临的主要问题,提出一种支持高可信嵌入式系统安全的在线升级的模型。详细分析了该模型的理论基础和结构组成,并指出实现该模型需要解决的问题。; 陈宇熊光泽; 关键词：嵌入式系统冗余操作系统

嵌入式实时软件可视化开发方法被引量：10: 2003年; 分析了传统嵌入式实时软件开发方法的不足之处 ,同时在分析统一建模语言 (UML)与规范描述语言(SDL)各自优缺点的基础上 ,论述了二者集成的可行性。重点讨论了UML与SDL之间的映射问题。最后讨论了以SDL为核心的可视化集成开发环境的可行性。; 杨仕平熊光泽陈慧; 关键词：嵌入式实时软件开发方法统一建模语言规范描述语言映射

高可信软件的防危性评估研究被引量：15: 2004年; 在分析安全关键软件防危性测评的必要性基础上,提出了适合于评估关键软件防危性的评估指标,给出了防危性评估指标与可靠性评估指标之间的关系。总结了4种传统测评方法评估高防危性需求软件的局限性。研究了基于重要性采样及压力测试技术测评高防危性软件的可行性,并详细讨论了其具体实施过程,其间结合核电安全关键控制系统进行了例证。最后就该领域内的相关工作及发展方向进行了展望。; 杨仕平熊光泽桑楠吴新勇; 关键词：软件系统高可信软件软件工程

安全关键系统高可信保障技术的研究被引量：16: 2003年; In order to improve dependability of safety critical systems, whose safeguard technologies are researched inthis paper. Firstly, origins and meanings of dependability are expatiated, afterwards, respective meaning of and rela-tions among fault、error、failure are analyzed. In succession, how to apply with fault prevention、fault tolerance、faultremoval、fault forecasting to enhance dependability of safety critical systems are expounded concisely by diagrams. Be-cause error detecting is very important in fault tolerant systems, an error detecting technology based on safety kernelis proposed in this paper. Future trends of research in safety critical field are listed at the end.; 杨仕平熊光泽桑楠; 关键词：计算机可靠性安全关键系统冗余技术

基于双超时检测机制的三维容错实时系统: 在后PC时代,实时计算技术日益广泛应用于航空航天、国防及交通运输等安全关键系统。为提高这些系统的可信性,在分析传统二维容错技术的基础上,基于功能集成,提出了三维容错体系结构。满足容错任务的死限是容错实时系统的关键,本文所...; 杨仕平熊光泽桑楠; 关键词：实时系统高可信; 文献传递

安全关键实时操作系统时间隔离保护机制的设计与实现被引量：6: 2004年; 为了设计高可信的安全关键实时操作系统CRTOS 2 0 ,在分析现有操作系统可信性保障机制的基础上 ,提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想空间隔离保护的目的是防止不同地址空间内的程序无意或恶意越界进行非法读写 ,而时间隔离保护的目的则是为了防止某程序长期独占或超时使用处理器而阻止或延迟其他程序的运行为实现时间隔离保护机制 ,在改进传统处理器能力预留机制的基础上 ,基于两级调度的思想 ,提出了新的实现方法时空隔离保护机制的提出。; 杨仕平桑楠陈慧熊光泽; 关键词：调度分析实时操作系统

基于多级关键度的高可信安全关键系统被引量：3: 2004年; 为增强安全关键系统的可信性,在分析高可信保障机制现状的基础上,提出了一种集成式的高可信保障体系结构。为防止不同关键度子系统间的有害干扰,在分析信息安全领域内多级安全保障机制的基础上,研究了不同关键度子系统相互作用时应遵守的防危访问控制规则。为实现该规则,采用了基于元对象的反射技术,并就如何使用反射技术实现不同关键度子系统间的可靠互动进行了详细讨论。最后,给出了实验结果,同时就该领域内的相关工作及发展方向进行了展望。; 杨仕平桑楠吴新勇熊光泽; 关键词：安全关键系统多级关键度防危核安全保障机制计算机安全

安全关键实时系统高可信集成技术的研究被引量：7: 2003年; 为增强安全关键实时系统的可信性 ,在分析高可信保障机制现状的基础上 ,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构 .为防止不同关键度子系统间的有害干扰 ,提出了基于两级结构化调度方法的时间隔离机制 .为实现时间隔离 ,论文首先针对集成式多级关键高可信保障机制建立了调度模型 ,然后进行了子系统及其任务的可调度性分析 ,最后用实例进行了例证 .本文的研究成果也可应用于其他非关键领域。; 杨仕平熊光泽桑楠; 关键词：多级关键度高可信调度分析

可支持多级关键度任务的实时操作系统被引量：2: 2006年; 为设计可支持多级关键度任务的军用实时操作系统MRTOS,首先分析了现有实时操作系统的调度机制。同时为定量描述任务的关键度,使用时间窗口来描述任务在有限时间范围内的时限错过情况。基于此描述,提出了改进型的最短紧急距离优先调度算法,该算法可保证实时任务仅错过规定数量的时限,能有效支持不同关键度任务同时运行在同一计算机上,同时可在任务量瞬时过载的情况下保证关键任务优先得到执行。最后通过仿真对最短紧急距离优先调度算法进行了例证。; 杨仕平黄耕文刘校矢; 关键词：多级关键度调度分析实时操作系统

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国防科技技术预先研究基金(2000J671DZ0206)