李键
- 作品数：4 被引量：12H指数：2
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 面向IMA平台的离散事件演化树仿真分析方法被引量：3
- 2019年
- 为解决具有时序相关、功能依赖、多态性、部件数量多等特点的IMA平台在可靠性分析中的困难,提出了一种离散事件演化树仿真分析方法,通过将IMA平台运行过程中的随机故障事件建立成离散故障事件序列,从而驱动系统状态的不断演化,利用故障事件演化树分析离散故障事件对系统状态的影响,通过建立系统多状态集合和大样本观测评估IMA平台在不同时刻处于各个系统状态的概率。该离散事件演化树仿真分析方法可实现IMA平台可靠性多态定量分析,为设计提供理论数据依据。
- 孙东旭李键武健
- 关键词：可靠性分析
- 操作系统与模块支持层隔离机制的研究
- 2008年
- 新一代航空电子系统是一种高度综合化、模块化的系统,使用层次性的软件体系结构可以减低软件开发费用、提高系统安全性。本文参考欧洲航空电子标准 ASAAC,对操作系统与模块支持层的隔离机制进行了深入研究,分析了嵌入式操作系统 VxWorks 结构。尝试了将其内核和模块支持层进行隔离。
- 李键冯晓东李鹏马春江
- 关键词：操作系统
- 基于SoPC的嵌入式系统设计技术被引量：7
- 2008年
- 介绍了Xilinx公司Virtex-4 FX系列FPGA的特点,分析了该FPGA内嵌的PowerPC405处理器的体系结构及CoreConnect总线的特点。通过多路传输数据总线接口的设计实例,阐述了基于SoPC(System on Programmable Chip)的嵌入式系统设计方法。
- 李键李鹏张磊
- 关键词：片上可编程系统嵌入式系统
- 1553B总线接口SoC设计相关问题研究被引量：2
- 2008年
- 随着电子技术的发展,实时系统对其数据总线接口的要求也越来越高。在深入研究1553B总线接口技术及协议的基础上,设计并研制了1553B总线接口SoC,该芯片自带微处理器,支持多种主机接口,可通过模式选择适配多种局部总线。同时针对所设计的SoC提出了一种通信软件的设计实现方法,该软件完成传输层和驱动层功能。通过多种测试证明该芯片完全符合MIL-STD-1553B协议,满足实时系统通信要求,具有较高的通用性、可靠性和较高的功能、性能密度。
- 李鹏樊蓉李键
- 关键词：片上系统总线控制器远程终端
