您的位置: 专家智库 > >

黄晖

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

文献类型

  • 6篇中文专利

领域

  • 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篇DO

机构

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

作者

  • 6篇戴小氐
  • 6篇邢亮
  • 6篇田莉蓉
  • 6篇黄晖
  • 6篇牟明

年份

  • 3篇2017
  • 3篇2015
6 条 记 录,以下是 1-6
排序方式:
一种符合DO‑178B/C A级软件的模型验证方法
本发明公开了一种符合DO‑178B/C A级软件的模型验证方法,用于解决基于模型的软件开发中的模型验证问题。该方法的主要步骤是:1)搭建验证系统架构;2)将待验证模型通过模型转换器转换为若干个特征模型;3)以若干个特征模...
田莉蓉邢亮牟明戴小氐黄晖逯计划
文献传递
一种符合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级软件适航认证过程管理及数据管理方法。该方法首先根据DO-178B/C A级软件确定适航认证的认证过程及所需数据,然后搭建认证过程管理和数据管理架构...
田莉蓉黄晖牟明戴小氐邢亮逯计划
一种符合DO-178B/C A级软件的模型验证方法
本发明公开了一种符合DO-178B/C A级软件的模型验证方法,用于解决基于模型的软件开发中的模型验证问题。该方法的主要步骤是:1)搭建验证系统架构;2)将待验证模型通过模型转换器转换为若干个特征模型;3)以若干个特征模...
田莉蓉邢亮牟明戴小氐黄晖逯计划
共1页<1>
聚类工具0