您的位置： 专家智库 > >

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

作品数：8 被引量：20H指数：3
相关作者：任晓瑞胡宁何翔杨军祥郝继锋更多>>
相关机构：中航工业西安航空计算技术研究所西安电子科技大学中国航空工业集团公司更多>>
发文基金：中国航空科学基金国家科技重大专项更多>>
相关领域：自动化与计算机技术理学电子电信航空宇航科学技术更多>>

文献类型

  • 8篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 1篇电子电信
  • 1篇航空宇航科学...
  • 1篇理学

主题

  • 3篇嵌入式
  • 3篇操作系
  • 3篇操作系统
  • 2篇嵌入式操作
  • 2篇架构
  • 1篇代理
  • 1篇多核
  • 1篇信号
  • 1篇信号处理
  • 1篇性需求
  • 1篇虚拟机
  • 1篇虚拟机管理器
  • 1篇以太
  • 1篇以太网
  • 1篇中间件
  • 1篇中间件研究
  • 1篇任务管理
  • 1篇软件测试
  • 1篇适航
  • 1篇适航要求

机构

  • 6篇中航工业西安...
  • 1篇西安电子科技...
  • 1篇中国航空工业...
  • 1篇中国航空工业...

作者

  • 3篇任晓瑞
  • 2篇胡宁
  • 1篇周敏刚
  • 1篇王纯委
  • 1篇周霆
  • 1篇郝玉锴
  • 1篇李成文
  • 1篇叶宏
  • 1篇刘冲
  • 1篇杨涛
  • 1篇邓豹
  • 1篇虞保忠
  • 1篇张灯
  • 1篇郝继锋
  • 1篇杨军祥
  • 1篇何翔
  • 1篇尹超

传媒

  • 3篇航空计算技术
  • 2篇电子技术（上...
  • 2篇电光与控制
  • 1篇计算机光盘软...

年份

  • 1篇2016
  • 1篇2015
  • 2篇2014
  • 3篇2013
  • 1篇2012
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
基于层次存储结构的权能查找机制
2014年
与传统系统相比,基于权能的系统可以在不完全信任程序的情况下安全地运行程序。从权能的概念入手,论述了权能的基本工作原理。针对现有顺序权能查找机制在查找效率方面的不足,设计出一种基于层次存储结构的权能查找机制,可提高安全系统的权能查找速度,进而提高整个系统的运行效率。
尹超叶宏周霆
关键词：操作系统
满足适航要求的嵌入式操作系统测试方法被引量：2
2016年
以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型,提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题,同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求,又保证了嵌入式操作系统软件测试活动与适航要求的符合性。
周敏刚
关键词：嵌入式软件测试适航API
SKPP与安全功能性需求实施策略
2012年
SKPP(Protection Profile for Separation Kernels,分区内核保护框架)是一种适用于分区内核的高安全需求规范。本文作者在深入理解SKPP内涵的基础上概括的介绍了SKPP所包含的各个需求领域,并提出了能够涵盖SKPP大部分安全功能性需求的安全分区内核访问控制机制的实施策略。
尹超叶宏周霆折楠
一种航电系统AFDX网络管理技术的研究与实现被引量：3
2015年
机载网络作为飞机航电系统的关键技术之一,其实时性能、容错能力以及网络行为的正确性将影响到飞机的整体性能,对其合理的管理可有效发挥航电系统的性能。基于对航电系统网络架构进行的研究,提出了一种采用AFDX为主干网络的级联式双中央处理机航电系统架构模型,在此模型的基础上结合AFDX网络的特点和TCP/IP网络管理的方法,进行了AFDX网络管理技术的研究,对AFDX网络管理方法和实现方式进行了分析,提取其构型管理、故障管理、配置管理等关键需求并在Vx Works653操作系统中实现该网络管理软件。
王纯委郝玉锴杨军祥杨煜坤李成文杨涛
关键词：航空电子全双工交换式以太网中央处理机网络管理简单网络管理协议
一种基于微核架构的虚拟化设备高效访问模型被引量：3
2013年
文章提出了一种基于微核架构的虚拟化设备高效访问模型,这种访问模型的基本思想就是把设备驱动程序置于虚拟机管理器内核之外的用户空间,然后,通过向客户OS中插入代理驱动/插桩驱动,它可以把用户的I/O请求转化为到驱动程序的IPC消息,从而完成多分区对设备的并发访问请求。此方法可以提供和内核态驱动相接近的性能、更好的信息安全性能、减小内核尺寸、故障隔离以及实现虚拟机管理器内核可形式化验证的目标。
郝继锋任晓瑞胡宁
关键词：微核IPC虚拟机管理器
基于MILS架构的安全中间件研究被引量：1
2013年
针对新一代作战飞机中的高可靠性和信息安全处理需求,引入访问控制安全中间件和数据传输安全中间件,建立高安全机载操作系统通信架构,阻止资源的非法访问,保证网络间信息传输的安全性,实现模块内和模块间的安全通信。
张灯任晓瑞胡宁虞保忠
关键词：MILS中间件安全通信通信架构
一种高性能通用处理模块的设计与实现被引量：2
2014年
综合化技术的发展对嵌入式通用处理模块的设计提出了更高的要求。提出一种高性能通用处理模块的设计实现方案,模块采用多片双核处理器阵列同时具备高性能的数据和信号处理能力;采用高速串行总线来构建满足不同应用的高速数据通信链路;采用交换开关式互连结构支持可扩展性和多级容错/重构功能;采用符合VITA 46规范的VPX标准设计,满足综合化嵌入式系统多任务实时处理的应用需求。
邓豹刘冲
关键词：嵌入式系统数据信号处理高速串行总线
支持多核的嵌入式操作系统关键技术研究被引量：9
2013年
以分析当前支持多核的操作系统需实现的关键技术为基础,从多核操作系统的引导和初始化、多核操作系统任务管理、多核中断、核间通信以及核间同步与互斥等方面具体分析、研究支持多核的嵌入式操作系统的实现机制,提出了一种多核领域操作系统关键技术的解决思路。
何翔任晓瑞
关键词：多核嵌入式操作系统核间通信任务管理
全选 清除 导出
共1页<1>
聚类工具0