基于系统思维的软件安全性需求开发框架  

System Thinking Based Development Framework for Software Safety Requirements

作　　者：褚文奎[1] 丛伟[1] 樊晓光[1] 顾文灿[1] 

机构地区：[1]空军工程大学工程学院,西安710038

出　　处：《计算机科学》2012年第B06期412-415,418,共5页Computer Science

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

摘　　要：糟糕的软件需求是导致安全性关键系统发生灾难性事故的最主要原因。为解决需求开发问题,建构了一个系统建模与系统分析相结合、基于系统思维的软件安全性需求开发框架。针对系统模型的特定等级特定领域,提出了集成安全性分析的需求开发方法。该方法既能最大限度地约束安全性需求缺陷,防止其向同一分析等级内的其它领域或下一分析等级传播,并尽早重新生成安全性需求,又能够不断生成证据,支持安全性论据的构建。Poor software requirement for safety-critical systems（SCSs） is identified as a major root cause of catastrophic accidents.A system thinking based development framework for software safety requirements was built with system modeling and system analysis.For a particular analysis domain in a particular analysis level,a development method integrated with safety analysis was presented to develop software safety requirements.With the method,safety critical errors in software requirements are neither likely to propagate through to other analysis domains in the same analysis level nor likely to the subsequent analysis level.New safety requirements will be derived as early as errors are found in the safety analysis process.Safety evidence will be generated in the process to support the building of safety arguments.

关 键 词：软件安全性 系统思维 需求工程 安全性分析 综合航电系统 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] TP309[自动化与计算机技术—计算机科学与技术]