您的位置： 专家智库 > >

董仁飞

作品数：3 被引量：3H指数：1
供职机构：中国航天更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

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

主题

  • 2篇嵌入式
  • 2篇嵌入式软件
  • 1篇软件工程
  • 1篇软件开发
  • 1篇体系架构
  • 1篇嵌入式软件开...
  • 1篇模型驱动开发
  • 1篇模型驱动体系
  • 1篇模型驱动体系...
  • 1篇目标码
  • 1篇架构
  • 1篇航天
  • 1篇反汇编

机构

  • 2篇中国航天
  • 1篇中国航天标准...

作者

  • 3篇董仁飞
  • 1篇杨洁
  • 1篇孙肖

传媒

  • 2篇质量与可靠性
  • 1篇计算机光盘软...

年份

  • 1篇2016
  • 1篇2011
  • 1篇2010
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
反汇编技术在嵌入式软件安全性分析中的应用被引量：1
2011年
分析了航天型号嵌入式软件代码安全性分析中对目标码进行反汇编的必要性,总结了两种静态反汇编技术的优缺点,提出了适用于航天型号嵌入式软件代码安全性分析的反汇编算法,并介绍了结合编译信息的反汇编算法在软件安全性分析中的应用。
董仁飞
关键词：嵌入式软件反汇编目标码
关于在嵌入式软件开发中应用模型驱动开发技术的探讨
2010年
为解决传统嵌入式软件开发中存在的制约嵌入式软件开发效率和质量的问题，提出在嵌入式软件开发中应用模型驱动开发技术，介绍了模型驱动开发技术，分析了模型驱动开发技术的优势，并探讨了在嵌入式软件开发中应用模型驱动骨发技术的前景。
董仁飞
关键词：模型驱动开发嵌入式软件软件开发软件工程模型驱动体系架构
航天软件需求可靠性与安全性分析验证技术及工程应用研究被引量：2
2016年
软件需求可靠性与安全性分析验证可有效识别功能层次的需求遗漏、设计缺陷及相关的危险等,是提升软件可靠性与安全性的有效手段。GJB 900A等标准中已要求开展该项分析工作,但与NASA相比,目前工程应用推广尚待加强。本文在调研分析已有方法的基础上,总结实际工程经验,提出了一套操作性强的航天软件需求可靠性与安全性分析验证技术,可为该技术的工程推广提供借鉴。
孙肖周新蕾杨洁董仁飞
全选 清除 导出
共1页<1>
聚类工具0