支持时空隔离机制的微内核设计与实现

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:wjtezx
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于时空隔离的微内核设计思想能够满足安全关键嵌入式系统的非功能需求,给出了基于时空隔离机制的微内核系统架构设计,并对其时空隔离机制的实现给出了详细描述,并对微内核在嵌入式领域的应用进行了展望.
其他文献
目前,我国全民所有制的主体是国家,而代表国家行使产权的是行政组织,不是个人。这种不明确的产权关系给社会经济发展带来了一系列问题。一是造成了国有资产不应有的流失。按
应用TSMC 0.18μm CMOS工艺设计了一款低调谐增益变化,恒定调谐曲线间隔,恒定输出摆幅的低功耗低噪声宽带压控振荡器(Voltage Controlled Oscillator,VCO).本振荡器的振荡频
十四届三中全会决定,明确了我国国有企业改革的方向是建立现代企业制度。建立现代企业制度的基本途径是将传统的"工厂制"改组和改造为"公司制"。但实行公司制,不是简单地更换
伴有躯体疾病的精神科患者,在住院患者中占有一定比例,死亡情况时有发生,受到临床医生的关注,了解死亡患者的专科用药等情况,降低精神科患者死亡率责任重大.
支撑喉镜常用于声带、会厌及喉肿物摘除取活检等手术,手术时间短,麻醉要求高,需要术野开阔,声门静止,便于手术操作.有报道[1]采用小号气管插管肌松下手术,但术后复苏时间长.
发展问题,是当今世界的一大主题,也是各国共同面临的一个突出的现实矛盾。从世界历史的角度看中国,我们的现代化发展进程比西方晚了几个世纪,属于后发型国家。与此同时,我国
通过对体育教学中偶发事件的产生因素进行分析、归纳总结,找到了合理处理的手段与方法,为更好地完成体育教学,培养学生良好的体育习惯和兴趣爱好,不断增进学生的健康水平起到了促
音乐课既是审美感知的过程,又是师生双方共同探索、认识与创造的过程。这个过程是以审美为中心、遵行审美教学的规律来实施的.
近年婚姻暴力仍明显存在且程度严重。对此,本文主要以文献研究方法,结合历史与现状,选取历史发展中几个代表性时期男性权力膨胀与女性权力萎缩的事实,尝试从一新的视角,即家
历史是一面镜子。第二次世界大战结束时,欧洲和日本的物质财富大都毁于战火。当时曾有人提出重建欧洲可能需要200年。但事实并非如此。欧洲借助保存尚好的人才优势,依靠文化