【摘 要】
：
随着航空电子系统的飞速发展，机载操作系统对保证不同安全关键级别的软件互不影响越来越严格，面对这种情况，多重独立安全级别（MILS）嵌入式操作系统应运而生。MILS架构的中间件层采
【机 构】
：
西安电子科技大学计算机学院,西安电子科技大学通信工程学院,中国航空工业计算技术研究所
【基金项目】
：
航空科学基金(2010ZC31002,2010ZC31001,20101981015)资助
论文部分内容阅读
随着航空电子系统的飞速发展，机载操作系统对保证不同安全关键级别的软件互不影响越来越严格，面对这种情况，多重独立安全级别（MILS）嵌入式操作系统应运而生。MILS架构的中间件层采用实时CORBA技术。同时MILSCORBA架构采用分区通信机制进行通信。为了满足分区通信的安全性和MILS架构对分区密级的严格控制，设计了基于实时CORBA技术的MILS架构的多级安全分区通信机制。提出了将MILSIOP作为实时CORBA的一部分来实现MILSCORBA架构的多级安全分区通信的机制。整个机制保证了不同密级的数据安
其他文献
目的初步探讨急诊五种常见疾病(包括脑出血、脑梗死、慢性肺源性心脏病失代偿期、急性心肌梗死、上消化道出血)的急诊状态的发生与气象变化因素的关系。方法本文收集的气象资
喜马拉雅旱獭是青藏高原的优势种,数量多、分布广,全面了解其遗传背景对该地区旱獭资源的保护与合理利用具有重要的意义。本研究以青藏高原云南、西藏和青海三省区共13个地理
<正> 企业要适应营销环境的变化,必须进行营销调研。由于营销调研涉及面很广,是一项极其复杂而细致的工作,为了确保调研的质量、效果和可靠性,营销调研必须有计划、有步骤地
经济法责任理论是经济法基础理论的重要组成部分,也是近年来学术界关于经济法基础理论的热点问题。经济法责任理论问题的研究对于完整的经济法理论体系的建构意义重大。本文
<正>每周一节信息技术课,短短40分钟要完成很多事,笔者想把它们全部解决,总是怕来不及。于是不知不觉中课堂教学进入了"飙车"状态。可是,学生并没有因为"秒教"而"秒会",反而
本论文属国家重点基础发展研究计划——973课题《民机环境工效影响因素与机理研究》(批准号2010CB734102)的子课题。本论文主要研究了两个方面的内容,一是以心率、体温、血压
麒麟岗汉画像石墓天象图中端坐于四象、日月、南北斗之间的是最高天帝太一,所戴的三锋状冠可能为文献中的"天文冠",象征着合天一三星而成的"太一锋",四象围绕太一表现的是四
U型线布局是精益生产体系中的基础要素之一,与传统的直线型布局相比具有很多优势:入口和出口一致有利于实现拉动生产;拉近了工作站间距离,缩短了员工作业行走范围,减少了物料
本研究在转录水平上，利用转录载体PGEM-2与两种EB病毒基因片段(LMP和EBER-1)分别构建重组质粒，以SP^6和T^7RNA聚合酶合成含有。^35S标记的单链反义RNA(Antisense RNA或cRNA)和
公共浴室废水中含有大量可供回收利用的热量。利用污水源热泵系统对浴室废水进行余热回收有效地减少能量的浪费,产生明显的节能效果。针对浴室废水特殊的水质,阐述了浴室废水