一种基于四变量模型的系统安全性建模与分析方法

摘要

近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向.提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模.通过对四变量模型及AltaRica进行语义研究构建二者之间的映射规则,以民用飞机中机轮刹车系统(Wheel Brake System,WBS)为例来说明整个验证过程,即首先利用四变量模型从系统的需求层次上对WBS进行需求分析并根据映射关系构建AltaRica模型,接着利用故障树分析方法对WBS进行安全性研究,最后基于AltaRica配套工具ARC对系统的安全性属性进行验证.验证结果表明了该方法在系统安全工程领域中的实用性.