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

摘要：

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

关键词：四变量模型、AltaRica建模语言、故障树分析、ARC

所属期刊栏目：43

分类号：TP316.2(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划2014CB744903;南京航空航天大学青年科技创新基金NS2014098

在线出版日期：2017-03-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：193-199,229