【摘 要】
：
针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控
【基金项目】
：
航空科学基金项目资助（20091931006）
论文部分内容阅读
针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。
其他文献
本文主要是概述钢轨铝热焊接技术的诸多优点，广泛地应用于区间无缝线路以及跨区间超长无缝线路的钢轨连接。主要通过在河北旭阳的应用中，针对焦炉四大车轨道存在的缺陷，提出了铝
为了降低SC6360B车外加速噪声,对该车的噪声控制措施进行了综合性研究.采用声强测量法对整车进行了噪声源识别,确定该车发动机舱泄漏的噪声及排气噪声是车外噪声的主要来源.
制作了多壁碳纳米管电极，并将其应用于苯酚的氧化处理上．结果发现有很好的氧化峰出现在电位窗口内，峰电流在一定范围内与苯酚的浓度成良好的线性关系．长时间恒电位氧化实验表明，能
以电梯群控系统作为研究对象,构建了电梯动态最佳群控系统,提出了基于领域知识的动态最佳群控方法,建立了电梯动态最佳群控系统的分析模型和设计模型.利用MFC框架结构,编制了
随着我国经济的飞速发展,社会对能源的需求日益增加,使得火力发电厂等一些高能耗产业不断扩大规模。然而,那些高能够企业产生大量的SO2及NOx,给大气环境造成了极大的危害,需
简要介绍了电子节气门技术的发展情况、系统的典型结构和工作原理,分析了电子节气门系统机械结构中存在的非线性问题,建立了其数学模型,设计了3种控制器(PID控制器、模糊控制
为了提高分布式挖掘系统的性能，分析了现有的分布式数据挖掘系统的不足，提出了一种网格计算环境下的分布式数据挖掘的体系结构，讨论了在该体系结构下如何进行数据挖掘．该体系结构
通过分析变电站20KV的接线方式探讨接线方式的最优简化选择。选取110/20KV、220/20KV变电站20KV侧的4种供选的接线方式，比较分析各种方式的各项技术经济指标，为20KV侧的变电站
故障选线问题一直困扰着消弧线圈接地系统。在分析消弧线圈接地系统故障线路和非故障线路的零序导纳与消弧线圈导纳关系基础上，利用新型消弧线圈的在线可调节特性，根据消弧线圈
现代电力系统是一个复杂开放的分布式系统，Multi-agent是分布式人工智能的新技术，能使逻辑上和物理上分散的系统并列、协调地运行得以解决．结合Multi—agent技术的基本原理及适