安全关键软件的需求递阶层次结构  

Requirements of Hierarchy of Safety-Critical Software

作　　者：郭蕾[1] 褚文奎[2] 田松[2] 张凤鸣[2] 

机构地区：[1]空军装备研究院航空研究所,北京100076 [2]空军工程大学工程学院,西安710038

出　　处：《电光与控制》2012年第6期53-57,共5页Electronics Optics & Control

基　　金：国家自然科学基金(61172083);总装国防预研基金(9140A17020307JB3201)

摘　　要：软件需求缺陷特别是关于系统安全性方面的需求缺陷已逐渐成为导致飞机等安全关键系统发生事故的主要根源。在基于模型的软件开发中,有效管理开发出来的软件需求将有助于解决这一问题。为避免软件需求的无序性导致软件需求缺陷特别是安全性需求缺陷的生成,在借鉴层次分析法的有关思想基础上,提出了层次化管理安全关键软件需求的思路,构建了安全关键软件的需求递阶层次结构。该结构按照目的、准则、方案三层将软件需求有序组织在一起,不仅明确表达了不同层次软件需求之间的关系,有助于保证软件需求的一致性、可溯性,而且说明了软件安全性需求与危险场景之间的关系,有助于预防安全性需求缺陷,从而可以有效规避软件安全性问题。The defects in requirement for safety critical software is commonly seen as a major cause of safety critical system failure. In model-based software development, the problem can be solved by effectively managing software requirements and especially safety requirements. To avoid software bugs generated from disordered requirement, a management method of software requirement is presented based on Analytic Hierarchy Process （AHP） and a requirement hierarchy is constructed with goal layer, criteria layer and solution layer. The hierarchy describes unambiguously the relationships among different layers of requirement, which is useful for software requirement＇s consistency and traceability. The hierarchy also describes the relationships between software safety requirements and hazard scenarios, which can prevent the defects from being generated and then can improve the software safety.

关 键 词：安全关键软件 安全性需求 层次分析法 软件安全性 基于模型的开发 

分 类 号：V21[航空宇航科学与技术—航空宇航推进理论与工程] TP311[自动化与计算机技术—计算机软件与理论]