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

第 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 S