[1]司 佳,朱羿全,马 琳.基于时序描述逻辑的故障树分析方法研究[J].计算机技术与发展,2017,27(12):89-92.[doi:10.3969/ j. issn.1673-629X.2017.12.020]
　SI Jia,ZHU Yi-quan,MA Lin.Research on Fault Tree Analysis Based on Temporal Description Logic[J].Computer Technology and Development,2017,27(12):89-92.[doi:10.3969/ j. issn.1673-629X.2017.12.020]
点击复制

基于时序描述逻辑的故障树分析方法研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
27
期数:
2017年12期
页码:
89-92
栏目:
安全与防范
出版日期:
2017-12-10

文章信息/Info

Title:
Research on Fault Tree Analysis Based on Temporal Description Logic
文章编号:
1673-629X(2017)12-0089-04
作者:
司 佳; 朱羿全; 马 琳
南京航空航天大学 计算机科学与技术学院,江苏 南京 210016
Author(s):
SI Jia; ZHU Yi-quan; MA Lin
School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China
关键词:
故障树分析; 时序描述逻辑; 安全属性; 形式化验证
Keywords:
fault tree analysis; temporal description logic; safety attributes; formal verification
分类号:
TP311
DOI:
10.3969/ j. issn.1673-629X.2017.12.020
文献标志码:
A
摘要:
故障树分析法是工业界常用的安全分析方法之一。 然而由于其非形式化方法的局限性,难以对软件故障进行形式化验证,更难以描述嵌入式实时系统中事件之间的时序逻辑关系。 因此,提出了一种基于时序描述逻辑的故障树分析方法,以解决故障树难以对时序关系进行描述以及难以形式化验证的问题。 首先,通过时序描述逻辑对故障树进行时序特征的扩充与规约;其次抽取出用描述逻辑表示的软件安全属性;最后对软件系统进行安全属性建模并通过模型检测工具 SPIN 形式化验证软件系统是否满足这些属性。 以某一机载控制系统环境输入模块为案例,对该案例进行故障树分析和建模并给出该案例的待验证安全属性以及实验分析结果。 结果表明,提出的方法是有效的和可行的。
Abstract:
Fault Tree Analysis (FTA) is one of safety analysis methods which is commonly used in industry. However,as the limitation of its non-formal method,it is difficult to be formal verification of software fault and even to describe the temporal logic relation between events in embedded real-time system. Therefore,in order to solve the problem,a formal fault tree analysis based on Temporal Description Logic (TDL) is proposed. Firstly,the fault tree is extended and constrained in temporal sequence characteristic by TDL. Secondly,safety attributes of software are extracted in the representation of TDL. At last,the safety attributes modeling is carried out in software system
which is verified whether to meet these attributes or not by SPIN,a model checking tool. A case of environment input module of airborne control system is given where the analysis and modeling of fault tree is conducted,and its security attributes to be checked and experimental results are achieved. It is showed that the proposed method is effective and feasible.

相似文献/References:

[1]耿宏 刘晔 武泰安.基于模糊故障树的ILS接收机的故障诊断[J].计算机技术与发展,2011,(09):133.
　GENG Hong,LIU Ye,WU Tai-an.Fault Diagnosis to Instrument Landing System Based on Fuzzy Fault Tree[J].Computer Technology and Development,2011,(12):133.
[2]曹利锋,邹树梁,唐德文.基于VC++与MATLAB的故障树分析系统[J].计算机技术与发展,2014,24(01):77.
　CAO Li-feng[],ZOU Shu-liang[],TANG De-wen[].Fault Tree Analysis System Based on VC++ and MATLAB[J].Computer Technology and Development,2014,24(12):77.

更新日期/Last Update: 2018-03-06