中国航空科学基金(2012ZC31006)

作品数：8被引量：20H指数：3
导出分析报告
相关作者：任晓瑞胡宁何翔杨军祥郝继锋更多>>
相关机构：中航工业西安航空计算技术研究所西安电子科技大学中国航空工业集团公司中国航空工业集团公司西安航空计算技术研究所更多>>
相关期刊：《计算机光盘软件与应用》《航空计算技术》《电光与控制》《电子技术（上海）》更多>>
相关主题：架构核间通信多核嵌入式操作系统任务管理更多>>
相关领域：自动化与计算机技术理学电子电信航空宇航科学技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
满足适航要求的嵌入式操作系统测试方法被引量：2
《航空计算技术》2016年第4期114-117,122,共5页周敏刚 
航空科学基金项目资助(2012ZC31006)
以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型,提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题,同时对操作系统在目标机环境进行测...
关键词：嵌入式 操作系统 软件测试 适航 API 
一种航电系统AFDX网络管理技术的研究与实现被引量：3
《电光与控制》2015年第9期64-67,82,共5页王纯委 郝玉锴 杨军祥 杨煜坤 李成文 杨涛 
国家科技重大专项基金(2012ZX01041-006);工信部民机专项基金(MJ-S-2012-05);航空科学基金(2012ZC31006)
机载网络作为飞机航电系统的关键技术之一,其实时性能、容错能力以及网络行为的正确性将影响到飞机的整体性能,对其合理的管理可有效发挥航电系统的性能。基于对航电系统网络架构进行的研究,提出了一种采用AFDX为主干网络的级联式双中...
关键词：航空电子全双工交换式以太网 中央处理机 网络管理 简单网络管理协议 
一种高性能通用处理模块的设计与实现被引量：2
《电光与控制》2014年第10期75-79,88,共6页邓豹 刘冲 
航空科学基金(2012ZC31006)
综合化技术的发展对嵌入式通用处理模块的设计提出了更高的要求。提出一种高性能通用处理模块的设计实现方案,模块采用多片双核处理器阵列同时具备高性能的数据和信号处理能力;采用高速串行总线来构建满足不同应用的高速数据通信链路;...
关键词：嵌入式系统 数据信号处理 开关式互连 高速串行总线 
基于层次存储结构的权能查找机制
《航空计算技术》2014年第1期113-114,122,共3页尹超 叶宏 周霆 
航空科学基金项目资助(2012ZC31006)
与传统系统相比,基于权能的系统可以在不完全信任程序的情况下安全地运行程序。从权能的概念入手,论述了权能的基本工作原理。针对现有顺序权能查找机制在查找效率方面的不足,设计出一种基于层次存储结构的权能查找机制,可提高安全系统...
关键词：操作系统 层次存储结构 权能机制 权能查 
支持多核的嵌入式操作系统关键技术研究被引量：9
《航空计算技术》2013年第4期86-90,共5页何翔 任晓瑞 
航空科学基金项目资助(2012ZC31006);十二五总装预研课题(51315030101)
以分析当前支持多核的操作系统需实现的关键技术为基础,从多核操作系统的引导和初始化、多核操作系统任务管理、多核中断、核间通信以及核间同步与互斥等方面具体分析、研究支持多核的嵌入式操作系统的实现机制,提出了一种多核领域操作...
关键词：多核 嵌入式操作系统 中断机制 核间通信 任务管理 
一种基于微核架构的虚拟化设备高效访问模型被引量：3
《电子技术（上海）》2013年第7期4-6,共3页郝继锋 任晓瑞 胡宁 
航空科学基金(2012ZC31006)
文章提出了一种基于微核架构的虚拟化设备高效访问模型,这种访问模型的基本思想就是把设备驱动程序置于虚拟机管理器内核之外的用户空间,然后,通过向客户OS中插入代理驱动/插桩驱动,它可以把用户的I/O请求转化为到驱动程序的IPC消息,从...
关键词：微核 客户OS I O IPC 代理驱动 插桩驱动 虚拟机管理器 
基于MILS架构的安全中间件研究被引量：1
《电子技术（上海）》2013年第7期16-19,共4页张灯 任晓瑞 胡宁 虞保忠 
航空科学基金(2012ZC31006)
针对新一代作战飞机中的高可靠性和信息安全处理需求,引入访问控制安全中间件和数据传输安全中间件,建立高安全机载操作系统通信架构,阻止资源的非法访问,保证网络间信息传输的安全性,实现模块内和模块间的安全通信。
关键词：MILS 中间件 安全通信 通信架构 
SKPP与安全功能性需求实施策略
《计算机光盘软件与应用》2012年第20期27-28,20,共3页尹超 叶宏 周霆 折楠 
航空科学基金(2012ZC31006);十二五总装预研课题(课题编号:51315030101)
SKPP(Protection Profile for Separation Kernels,分区内核保护框架)是一种适用于分区内核的高安全需求规范。本文作者在深入理解SKPP内涵的基础上概括的介绍了SKPP所包含的各个需求领域,并提出了能够涵盖SKPP大部分安全功能性需求的...
关键词：高安全操作系统 分区内核 SKPP 安全功能性需求 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部