【摘 要】
：
介绍seL4微内核操作系统的结构及功能,提出一些问题,例如目前基于seL4的分区操作系统设计和实现并不十分完善,对于健康监控的研究处于基本空白。针对这些问题,结合现有的操作
【机 构】
：
北京控制与电子技术研究所计算机软件技术研发中心,北京航空航天大学计算机学院
论文部分内容阅读
介绍seL4微内核操作系统的结构及功能,提出一些问题,例如目前基于seL4的分区操作系统设计和实现并不十分完善,对于健康监控的研究处于基本空白。针对这些问题,结合现有的操作系统微内核理论及分区方案的需求,参考ARINC653标准的相关思路,设计健康监控模块。根据操作系统错误的特点,讨论主要针对的错误种类,研究各类错误的截获办法,对错误截获处理报告记录模块进行设计。对各类错误进行测试,简述该健康监控方法的整体实现流程。
其他文献
论欧体与印刷体刘清扬在原始的古文字中何尝出现过较为复杂的附着于线条边缘的装饰性成份？具有象形意味的甲骨文中的线条朴实而少雕饰，字的构成形式也较为简单，特别是象形意味浓
由于奶业对人类营养需求的贡献及对社会经济发展强劲的拉动效应,已使得许多的国家越来越高度重视,甚至已把它列为农牧业的一个支柱产业来发展。中国奶业成产业化发展起初较迟
大学生就业的软实力包括思想道德素质、敬业精神、团队合作精神、人际沟通能力、创新精神等，要通过加强大学生的职业意识、职业道德、职业知识、职业素质、职业规划、职业政策
明确工业污染场地土壤中重金属的分布和影响因素,对场地的环境治理等有重大意义.株洲霞湾港地区由地表向下为人工杂填土、粉质黏土、粉细砂、砂砾石层.As在杂填土、粉黏土、
本文利用DEM建模、可视域分析等方法,采用监测率、盲区率、重复率等指标来评价森林防火监测型资源配置的合理性,并根据这些指标来对监测型资源的配置进行优化。以贵阳市为例,
从2004年1月1日起，国家开始执行新的出口退税政策。为了降低企业因退税率下调而造成的收益损失，企业应采取相应的措施以规辟风险。本文论述了几种规避风险的办法。
<正>《实施方案》中各项改革举措既自成一体,又相互联系。其中与"体制""机制""制度"关键词相关的改革措施之间,具有一定的逻辑关系,从一定程度上来看,为当前高校共青团推进改
1927——1937年的土地革命战争时期,是中国共产党从幼稚走上成熟的时期。成熟,主要表现在认识了中国革命的基本特点和客观规律,找到了一条适合中国国情的革命道路——农村包
一、“教什么”问题的现状目前语文课程与教学改革出现的问题,主要是对“教什么”的问题在理论上的毫无建树与实践上的严重缺失。语文课程改革的设计者、指导者、实施者,没有
为了保证起重机在用钢丝绳检验检测质量和效率,依据GB/T 5972-2016《起重机钢丝绳保养、维护、检验和报废》,本文讨论了起重机在用钢丝绳定期检验的方法、内容、流程和严重程