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

摘要：

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

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

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

资助基金：国家自然科学基金资助项目61272083，61100034，61170043；江苏省自然科学基金青年基金资助项目BK20130812；中央高校基本科研业务费专项资金资助项目NS2014099

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

页数：共6页

页码：15-20