一种基于四变量模型的系统安全性建模与分析方法-计算机科学.PDFVIP

第 43 卷第11 期 计算机科学 Vo 1. 43 No. 11 2016 年 11 月 Computer Science Nov 2016 一种基于四变量模型的系统安全性建模与分析方法 胡军1 ， 2 石娇洁1 程帧1 陈松1 王明明1 (南京航空航天大学计算机科学与技术学院 南京 211106)1 (南京大学计算机软件新技术国家重点实验室 南京 210093)2 摘 要 近年来，基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了 一种基于四变量模型的系统安全性建模与分析验证方法，该方法利用 AltaRica 建模语言对系统进行建模。通过对四 变量模型及AltaRica 进行语义研究构建二者之间的映射规则，以民用飞机中机轮刹车系统(Wheel Brake System , WBS)为例来说明整个验证过程，即首先利用四变量模型从系统的需求层次上对WBS 进行需求分析并根据映射关系 构建AltaRica 模型，接着利用故障树分析方法对WBS 进行安全性研究，最后基于 AltaRica 配套工具 ARC 对系统的 安全性属性进行验证。验证结果表明了该方法在系统安全工程领域中的实用性。 关键词 四变量模型，AltaRica 建模语言，故障树分析，ARC 中图法分类号 TP316.2 文献标识码 A 001 10. 11896/j. issn. 1002-137)立 2016.1 1. 038 System Safety Modeling and Analysis Method ßased on Four-variable Model 1 1 1 1 1 HU Jun ,2 SHI Jiao-jie CHENG Zhen CHEN Song WANG Ming-rning (Department of Computer Science and Technology ,Nanjing University of Aeronautics and Astronautics ,Nanjing 211106 ,China) 1 (State Key Laboratory for Novel Software Technology ,Nanjing University ,Nanjing 210093 ,China)2 Abstract Recently ,the system safety analysis and verification method based on model is an important research direction in the field of safety critical systems engineering. A system safety modeling and analysis verification method based on four-variable model was proposed based on the AltaRica modeling language. The mapping rule between four-variable model and AltaRica was constructed through the studying of their semantics. A case of wheel brake system(WBS) in civil aircraft was used as an example to illustrate th