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

• 作者: 王明明 石娇洁 程桢 胡军 陈松
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 四变量模型 AltaRica建模语言 故障树分析 ARC
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 信息安全
• 页码范围: 193-199,229
• 页数: 8页
• 分类号: TP316.2
• 字数: 9251字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.11.038

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
5	王明明	南京航空航天大学计算机科学与技术学院	9	16	2.0	3.0
6	石娇洁	南京航空航天大学计算机科学与技术学院	5	21	3.0	4.0
7	程桢	南京航空航天大学计算机科学与技术学院	5	21	3.0	4.0
8	陈松	南京航空航天大学计算机科学与技术学院	5	15	2.0	3.0