邢亮
- 作品数：5 被引量：27H指数：3
- 供职机构：中航工业西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 机载系统NANDFlash存储技术被引量：11
- 2014年
- 为了发挥NANDFlash在机载环境中非易失性、体积小、固态性、重量轻、低功耗、抗震动等特点,介绍了NANDFlash的存储特性,对NANDFlash存储的关键技术进行了改进,提出了基于域机制的地址映射方式和基于阈值的损耗均衡方法,为机载系统能够更加可靠、实时和安全地进行数据存储提供了选择。
- 邢亮黄晖田丹
- 关键词：NANDFLASH地址映射阈值损耗均衡
- DO-178B/C目标分析及阶段介入评审过程研究被引量：3
- 2015年
- DO-178B/C标准作为面向适航审定的机载软件生命周期过程标准,着重提出了每个过程中应实现的目标,在DO-178B与DO-178C适航目标的变化的基础上,详细分析了目标之间的关系,目标的分布与差异。以适航标准和指导性文件为依据,结合机载软件开发过程监控背景,对阶段介入评审进行机载软件开发过程评估关注的目标和数据进行了总结,可对机载软件申请方筹备开展机载软件适航认证提供参考;对DO-178B/C标准相关及介入评审的未来研究方向进行了展望。
- 邢亮牟明
- 关键词：机载软件适航审定
- GJB5000A与DO-178B/C的综合应用研究被引量：3
- 2015年
- 针对软件研制单位目前存在的型号软件研制必须同时满足GJB5000A与适航软件研制标准的要求,通过对GJB5000A与DO-178B/C的对比分析,提出一种将GJB5000A与DO-178B/C相互融合的方法,并对方法实际工程实践时应注意的问题进行了说明。
- 王金林牟明邢亮
- 关键词：GJB5000A软件工程化
- 模型开发在型号软件研制中的应用研究被引量：6
- 2015年
- 针对模型开发技术的技术特征,通过对模型开发方法中的模型建模、模型模拟、模型仿真及模型覆盖分析等技术的研究,结合型号软件工程实践,对模型开发在型号软件研制中的应用在体系、过程及文档方面面临的问题进行了分析,从与现有体系规范及研制过程的符合性集成、模型软件测试鉴定以及与其他软件研制方法融合等方面,提出了与型号软件研制要求相符合的基于模型的开发过程方法,并介绍了方法的应用情况和前景。
- 牟明邢亮
- 关键词：工程应用
- 机载适航标准DO-178B/C软件开发过程研究被引量：4
- 2016年
- 介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准机载软件生命周期过程的研究,分析了机载软件开发过程需求、设计、编码和集成子过程的关系及输入输出数据,在分析机载软件需求、设计、编码及集成子过程的目标、活动和转换准则的基础上,给出了各子过程的过程模型。展望了DO-178B/C标准的未来研究方向。
- 邢亮卢伟
