您的位置： 专家智库 > >

韩翔宇

作品数：1 被引量：0H指数：0
供职机构：北京航天自动控制研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇软件安全性分...
  • 1篇控制软件
  • 1篇飞行
  • 1篇飞行控制
  • 1篇飞行控制软件
  • 1篇安全性

机构

  • 1篇中国航天科技...
  • 1篇北京航天自动...

作者

  • 1篇石柱
  • 1篇韩翔宇

传媒

  • 1篇航天控制

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
WL_Net在导弹飞行控制软件安全性分析中的应用
2008年
提出了应用工作流逻辑网(WL_Net)进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其优缺点和未来的发展方向。首先,综合考虑可能引起危险和风险的条件和环境构建WL_Net结构模型;然后使用可达树或关联矩阵对模型的合理性以及危险或风险出现的可能性进行分析,以确定该飞行控制软件是否安全。WL_Net能较好的完成对系统的建模和对软件安全性的分析,从一定程度上解决模型可读性和网结构爆炸的问题。
韩翔宇石柱
关键词：飞行控制软件
全选 清除 导出
共1页<1>
聚类工具0