您的位置： 专家智库 > >

邢亮

作品数：8 被引量：0H指数：0
供职机构：中国航空工业第六三一研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 8篇中文专利

领域

  • 3篇自动化与计算...

主题

  • 3篇适航
  • 3篇B/C
  • 3篇DO-178
  • 2篇硬件
  • 2篇硬件仿真
  • 2篇映射
  • 2篇映射表
  • 2篇软件开发
  • 2篇适航认证
  • 2篇数据管理
  • 2篇数据管理方法
  • 2篇数据软件
  • 2篇批处理
  • 2篇批处理文件
  • 2篇子集
  • 2篇目标码
  • 2篇机载
  • 2篇机载软件
  • 2篇加载
  • 2篇加载器

机构

  • 8篇中国航空工业...

作者

  • 8篇邢亮
  • 6篇戴小氐
  • 6篇田莉蓉
  • 6篇黄晖
  • 6篇牟明
  • 2篇徐晓光
  • 2篇张联梅
  • 2篇李向东
  • 2篇沈华
  • 2篇霍峰
  • 2篇赵根学

年份

  • 1篇2018
  • 3篇2017
  • 3篇2015
  • 1篇2014
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
一种航电系统的软件加载方法
本发明涉及一种航电系统的软件加载方法，在内部系统划分两个级别的节点，级别最高的定义为一级节点，级别次高的定义为二级节点，一级节点中设置有数据共享存储区；通过外部数据加载器向一级节点发送批处理文件，再通过一级节点向二级节点...
邢亮赵根学徐晓光沈华霍峰张联梅李向东
文献传递
一种符合DO-178B/C A级软件目标码覆盖分析方法
本发明属于综合化航空电子系统软件技术领域，具体涉及一种符合DO-178B/C A级软件目标码覆盖分析方法。该方法采用编译工具LDRA Testbed或者Verocel VeroCode的主要步骤包括：1)采用源代码与目标...
田莉蓉牟明戴小氐逯计划黄晖邢亮
一种符合DO‑178B/C A级软件目标码覆盖分析方法
本发明属于综合化航空电子系统软件技术领域，具体涉及一种符合DO‑178B/C A级软件目标码覆盖分析方法。该方法采用编译工具LDRA Testbed或者Verocel VeroCode的主要步骤包括：1)采用源代码与目标...
田莉蓉牟明戴小氐逯计划黄晖邢亮
文献传递
一种符合DO‑178B/C A级软件适航认证过程管理及数据管理方法
本发明属于计算机软件设计技术领域，具体涉及一种符合DO‑178B/C A级软件适航认证过程管理及数据管理方法。该方法首先根据DO‑178B/C A级软件确定适航认证的认证过程及所需数据，然后搭建认证过程管理和数据管理架构...
田莉蓉黄晖牟明戴小氐邢亮逯计划
文献传递
一种符合DO‑178B/C A级软件的模型验证方法
本发明公开了一种符合DO‑178B/C A级软件的模型验证方法，用于解决基于模型的软件开发中的模型验证问题。该方法的主要步骤是：1)搭建验证系统架构；2)将待验证模型通过模型转换器转换为若干个特征模型；3)以若干个特征模...
田莉蓉邢亮牟明戴小氐黄晖逯计划
文献传递
一种航电系统的软件加载方法
本发明涉及一种航电系统的软件加载方法，在内部系统划分两个级别的节点，级别最高的定义为一级节点，级别次高的定义为二级节点，一级节点中设置有数据共享存储区；通过外部数据加载器向一级节点发送批处理文件，再通过一级节点向二级节点...
邢亮赵根学徐晓光沈华霍峰张联梅李向东
文献传递
一种符合DO-178B/C A级软件适航认证过程管理及数据管理方法
本发明属于计算机软件设计技术领域，具体涉及一种符合DO-178B/C A级软件适航认证过程管理及数据管理方法。该方法首先根据DO-178B/C A级软件确定适航认证的认证过程及所需数据，然后搭建认证过程管理和数据管理架构...
田莉蓉黄晖牟明戴小氐邢亮逯计划
一种符合DO-178B/C A级软件的模型验证方法
本发明公开了一种符合DO-178B/C A级软件的模型验证方法，用于解决基于模型的软件开发中的模型验证问题。该方法的主要步骤是：1)搭建验证系统架构；2)将待验证模型通过模型转换器转换为若干个特征模型；3)以若干个特征模...
田莉蓉邢亮牟明戴小氐黄晖逯计划
全选 清除 导出
共1页<1>
聚类工具0