基于概率影响图软件体系结构安全风险分析.docVIP

基于概率影响图软件体系结构安全风险分析 　　 (中南大学 信息科学与工程学院 长沙 410083) 　　 　　摘 要：针对传统安全分析方法过于复杂的问题，提出将概率影响图引入体系结构的安全性风险分析中。该方法首先基于用例识别出系统功能故障，建立以系统安全性为目标节点的初级影响图；再对系统功能故障进行分解，确定各构件功能故障模式，并从构件内部失效及输入失效两方面进行考虑；最后根据这些事件的相关性建立从系统安全风险到构件失效的概率影响图，并开发了相应的基于概率影响图的辅助分析工具。 　　关键词：软件体系结构； 安全性分析； 风险分析； 概率影响图 　　中图分类号：TP391文献标志码：A 　　文章编号：1001-3695(2009)05-1736-03 　　 　　Safety risk analysis of software architecture 　　based on probabilistic influence diagram 　　WANG Xi??e REN Sheng??bing HU Ge WANG Guo??jun 　　(Academy of Information Science Engineering Central South University Changsha 410083 China) 　　Abstract:Aiming to the problem of complexity about traditional safety analysis techniques the paper presented a method for software architecture safety analysis based on probabilistic influence graph. First of all this method recognized system functional failure based on use cases and built a primary influence diagram regarding the system safety as the target node. Secondly confirmed the component functional failure modes with the decomposition of system functional failure and then considered them in these two aspects: internal failures and input failures of components. Finally built the probabilistic influence diagram from system safety risk to component failure according to the relationship among these events. Simultaneously it is natural to develop a assistant??analysis tool based probabilistic influence diagram. 　　Key words：software architecture; safety analysis; risk analysis; probabilistic influence diagram 　　 　　软件安全性（software safety）是指在软件系统中运行而不致在系统工作中造成不可接受的风险的能力。当软件复杂到一定程度后，其中的错误能够躲过一系列的测试而在软件系统中隐存下来，使其在某些特定的环境下运行时带来危害[1]。为了减少因软件失效或故障而引起的安全性事故所造成的损失，需要对软件的安全性进行风险分析，然后在此基础上有针对性地提出降低风险的措施。?? 　　安全性分析的经典方法主要有故障模式影响分析法（FMEA）[2]和故障树分析法（FTA）[3]。在FMEA中，主要是分析在系统组件中出现的故障模式以及每种故障模式对整个系统的影响。而FTA方法是一种top??down方法，通过对不期望事件（系统的危险性故障，也叫顶事件）进行定性的分析，按树状结构，逐层细化故障；再在预测叶子节点故障发生概率的基础上，通过逻辑关系最终得到所分析的系统故障事件的发生概率。进行故障树分析时，需要对整个系统进行全盘考虑。这种方法很复杂，因而在分析过程中也很容易忽略某些故障而导致出错。?? 　　基于概率影响图在分析风险的不确定性及可视化方面的良好特性，本文将其应用