结合本体和规则推理的SFMEA方法研究

doi:10.3969/j.issn.1006-2475.2015.01.003

计算机与现代化

结合本体和规则推理的SFMEA方法研究

(南京航空航天大学计算机科学与技术学院，江苏南京210016)

收稿日期:2014-10-09 出版日期:2015-01-19 发布日期:2015-01-21
基金资助:
国家自然科学基金资助项目(61272083,61100034,61170043)；江苏省自然科学基金青年基金资助项目(BK20130812)；中央高校基本科研业务费专项资金资助项目(NS2014099)

Software Failure Modes and Effect Analysis Method Combined with Ontology and Rule Reasoning

(College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China)

Received:2014-10-09 Online:2015-01-19 Published:2015-01-21

摘要/Abstract

摘要： 安全关键软件一旦失效将造成严重后果。软件失效模式和影响分析(Software Failure Modes and Effect Analysis, SFMEA)是一种工业界常用的软件安全性分析方法。由于SFMEA依赖人工分析，存在信息共享性差、分析准确性低等问题。针对上述问题，提出一种结合本体和规则推理的SFMEA方法。首先，构建了支持失效知识表示的SFMEA本体，实现软件失效知识的精确语义描述。在此基础上，以规则描述语言SWRL来定义失效规则，通过分析失效原因，实现对失效造成影响的自动化推理。最后，结合一个发动机熄火判断模块的案例分析，说明该方法的可行性和实用性。

关键词: 安全关键软件, 软件安全性, 软件失效模式与影响分析, 本体论, 规则推理

Abstract: Failures in safety-critical software will lead to catastrophic consequences. Software failure modes and effect analysis(SFMEA) is a safety analysis method which is commonly used in industry. However, the SFMEA method relies on manual analysis, thus it has poor reusability and low accuracy. To solve these problems, this paper proposes a creative SFMEA method combined with ontology and rule reasoning. Firstly, the SFMEA ontology is developed to accurately describe the software failure knowledge. Secondly, rules are built to describe the failure analysis processes using semantic web rule language(SWRL). According to the failure causes, the reasoning engine can analyze the failure effects automatically. At last, a case study of engine flameout-state module analysis confirms the feasibility and practicality of the research.

Key words: safety-critical software, software safety, SFMEA, ontology, rule reasoning

中图分类号:

TP311

朱羿全，沈国华，康达周，廖莉莉. 结合本体和规则推理的SFMEA方法研究[J]. 计算机与现代化, doi: 10.3969/j.issn.1006-2475.2015.01.003.

ZHU Yi-quan, SHEN Guo-hua, KANG Da-zhou, LIAO Li-li. Software Failure Modes and Effect Analysis Method Combined with Ontology and Rule Reasoning[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2015.01.003.

参考文献

［1］ USA: National Aviation and Space Association, NASASTD8710.13B, Software Safety Standard［S］.
［2］ Reifer D J. Software failure modes and effects analysis［J］. IEEE Transaction on Reliability, 1979,28(3):247-249.
［3］ Wirth R, Berthold B, Kramer A, et al. Knowledgebased support of system analysis for failure mode and effects analysis［J］. Engineering Applications of Artificial Intelligence, 1996,9(3):219-229.
［4］ Huang Baiqiao, Zhang Hong, Lu Minyan. Software FMEA approach based on failure modes database［C］// Proceedings of the 8th International Conference on Reliability, Maintainability and Safety(ICRMS 2009). 2009:749-753.
［5］王雪成,李海峰,陆民燕,等. 结合贝叶斯网与SFMEA技术的软件故障诊断框架［J］. 计算机科学, 2010,37(9):131-134.
［6］顾益. 结合模型检验的软件失效模式与影响分析方法研究［D］. 南京:南京航空航天大学, 2012.
［7］ Bicchierai I, Bucci G. Integrating metrics in an ontological framework supporting SWFMEA［C］// Proceedings of the 3rd International Workshop on Emerging Trends in Software Metrics (WETSoM 2012). 2012:35-41.
［8］陆民燕. 软件可靠性工程［M］. 北京:国防工业出版社, 2010:130-152.
［9］总装电子信息基础部. GJB/Z 13912006, 故障模式影响及危害性分析指南［S］.
［10］ Department of Defense, USA, MILSTD882E, Standard Practice System Safety［S］.
［11］ Gruber T R. A translation approach to portable ontology specifications［J］. Knowledge Acquisition, 1993,5(2):199-220.
［12］ Knublauch H, Fergerson R W, Noy N F, et al. The protege OWL plugin: An open development environment for semantic Web applications［C］// Proceedings of the 3rd International Semantic Web Conference (ISWC 2004). 2004,3298:229-243.
［13］ Horrecks I, Patel S P F, Boley H, et al. SWRL: A Semantic Web Rule Language Combining OWL and RuleML［EB/OL］. http://www.w3.org/Submission/2004/SUBMSWRL20040521/, 2014-07-09.
［14］黄志球,徐丙凤,阚双龙,等. 嵌入式机载软件安全性分析标准、方法及工具研究综述［J］. 软件学报, 2014,25(2):200-218.
［15］ Friedman H E. Jess in Action: RuleBased Systems in Java［M］. Greenwich: Manning Publications Co, 2003:120-135.

[1]	冯思喆, 杨志斌, 薛垒. 基于AADL的航天嵌入式软件Ada代码自动生成方法[J]. 计算机与现代化, 2020, 0(06): 52-.
[2]	蔡胜胜，卜凡亮. 基于案例推理和规则推理的公安突发事件辅助决策算法[J]. 计算机与现代化, 2019, 0(09): 7-.
[3]	肖甜;杨宗霄. 基于本体的应急救援知识库构建及其应用[J]. 计算机与现代化, 2012, 1(200): 205-04.

结合本体和规则推理的SFMEA方法研究

Software Failure Modes and Effect Analysis Method Combined with Ontology and Rule Reasoning

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 3

编辑推荐

Metrics

本文评价