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

发布时间：2017-11-24 21:18

  本文关键词：一种基于四变量模型的系统安全性建模与分析方法

  更多相关文章： 四变量模型 AltaRica建模语言 故障树分析 ARC

【摘要】：近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义研究构建二者之间的映射规则,以民用飞机中机轮刹车系统(Wheel Brake System,WBS)为例来说明整个验证过程,即首先利用四变量模型从系统的需求层次上对WBS进行需求分析并根据映射关系构建AltaRica模型,接着利用故障树分析方法对WBS进行安全性研究,最后基于AltaRica配套工具ARC对系统的安全性属性进行验证。验证结果表明了该方法在系统安全工程领域中的实用性。
【作者单位】： 南京航空航天大学计算机科学与技术学院;南京大学计算机软件新技术国家重点实验室;
【基金】：国家重点基础研究发展计划(973计划)(2014CB744903) 南京航空航天大学青年科技创新基金(NS2014098)资助
【分类号】：V227
【正文快照】： 1引言 基于模型的系统安全性分析验证[1-3]在安全关键系统工程领域中占据重要位置,具备一套完整的工具框架,包括支持系统模型的形式化规范、形式化需求以及自动化验证等功能。模型开发过程中,为更方便地进行安全性分析与自动化验证工作,将系统正常行为与故障行为相结合构成扩

【相似文献】

中国期刊全文数据库 前2条

1 周文祥;单晓明;耿志东;黄金泉;;自寻优求解法建立涡轴发动机状态变量模型[J];航空动力学报;2008年12期

2 ;[J];;年期

，

本文编号：1223656