中国航空科学基金(2010ZC31002)
- 作品数：4 被引量：14H指数：2
- 相关作者：李亚晖湛文韬孙靖国王乐刘帅更多>>
- 相关机构：中航工业西安航空计算技术研究所西安电子科技大学中国航空工业集团公司更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种多串口和以太网转换方法的研究被引量：9
- 2011年
- 嵌入式系统中普遍应用RS232串口进行调试通信,但RS232串口在复杂的综合化航电处理平台中的应用却有诸多不便,而通过以太网却无相关问题。鉴于当前大多数成熟应用都需要通过RS232进行通信,设计了一种新型接口模块,实现了将多个RS232串口协议数据转换为以太网协议数据的方法。实践表明,方法能很好地应用在复杂的综合化航电处理环境中,简单方便,不影响用户调试习惯,值得推广应用。
- 湛文韬王乐孙靖国
- 关键词：以太网RS232串口
- 面向可信的航空嵌入式软件开发方法框架
- 2012年
- 针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.
- 牛文生李亚晖吴际
- 关键词：组件化设计
- 基于安全域隔离的嵌入式系统的访问控制机制研究被引量：5
- 2013年
- 针对嵌入式领域安全关键系统的信息安全问题,提出了基于安全域隔离的访问控制模型,采用分区间信息流隔离控制机制,结合分区间消息路由和消息权限鉴别机制,实现了分区操作系统中安全关键类应用任务的多级安全访问控制,并依据该模型设计了多级安全操作系统的访问控制机制。通过安全性分析证明,该机制使基于微内核的嵌入式操作系统能够防止非法的资源访问、身份伪装、信息泄露和隐秘通道等安全威胁;经过系统的性能测试表明,安全访问控制机制的引入使嵌入式操作系统的综合性能消耗约为10%左右。
- 牛文生李亚晖张亚棣
- 关键词：强制访问控制
- 新一代机载计算机资源架构研究
- 2013年
- 机载计算机资源架构指的是由处理器硬件和操作系统软件组成的架构。针对机载计算机专用程度高、互操作性差、无统一标准的问题,提炼出新一代机载计算机资源架构,确定了机载计算机资源的范围,深入探讨了机载计算机资源各组成部分的功能,重点分析了硬件、硬件接口系统、操作系统、健康监测和分区的关键指标和机制。新一代机载计算机资源架构可有力减少不同机载计算机资源间技术发展的"烟囱"和壁垒。
- 郭鹏张亚棣李亚晖刘帅
- 关键词：硬件操作系统
