您的位置: 专家智库 > >

总装备部“十一五”国防预研项目(9140A17020307JB3201)

作品数:1 被引量:0H指数:0
相关作者:郭蕾褚文奎田松张凤鸣更多>>
相关机构:空军装备研究院空军工程大学更多>>
发文基金:总装备部“十一五”国防预研项目国家自然科学基金更多>>
相关领域:航空宇航科学技术自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇航空宇航科学...

主题

  • 1篇性需求
  • 1篇安全关键软件
  • 1篇安全性
  • 1篇安全性需求
  • 1篇层次分析
  • 1篇层次分析法

机构

  • 1篇空军工程大学
  • 1篇空军装备研究...

作者

  • 1篇张凤鸣
  • 1篇田松
  • 1篇褚文奎
  • 1篇郭蕾

传媒

  • 1篇电光与控制

年份

  • 1篇2012
1 条 记 录,以下是 1-1
排序方式:
安全关键软件的需求递阶层次结构
2012年
软件需求缺陷特别是关于系统安全性方面的需求缺陷已逐渐成为导致飞机等安全关键系统发生事故的主要根源。在基于模型的软件开发中,有效管理开发出来的软件需求将有助于解决这一问题。为避免软件需求的无序性导致软件需求缺陷特别是安全性需求缺陷的生成,在借鉴层次分析法的有关思想基础上,提出了层次化管理安全关键软件需求的思路,构建了安全关键软件的需求递阶层次结构。该结构按照目的、准则、方案三层将软件需求有序组织在一起,不仅明确表达了不同层次软件需求之间的关系,有助于保证软件需求的一致性、可溯性,而且说明了软件安全性需求与危险场景之间的关系,有助于预防安全性需求缺陷,从而可以有效规避软件安全性问题。
郭蕾褚文奎田松张凤鸣
关键词:安全关键软件安全性需求层次分析法
共1页<1>
聚类工具0