支持模型检测的故障树生成方法研究

摘要：

论文运用时序逻辑对传统故障树进行形式化规约,并从中抽取出描述软件安全属性的时序逻辑公式,来支持对安全关键软件的模型检测.文章以对某一机载控制系统软件数据交互模块的模型检测为案例研究,实验结果证明本文提出方法有效.

关键词：故障树分析、时序逻辑、模型检测、安全属性

所属期刊栏目：41

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金61100034,61170043;中国博士后科学基金资助项目20110491411;江苏省博士后科研资助计划项目1101092C;江苏省普通高校研究生科研创新计划资助项目CXZZ11_0218;中央高校基本科研业务费NS2012129

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

页数：共4页

页码：257-260