作者：朱羿全 沈国华 康达周 廖莉莉安全关键软件软件安全性软件失效模式与影响分析本体论规则推理
摘要：安全关键软件一旦失效将造成严重后果。软件失效模式和影响分析（ Software Failure Modes and Effect Analysis ， SFMEA）是一种工业界常用的软件安全性分析方法。由于SFMEA依赖人工分析，存在信息共享性差、分析准确性低等问题。针对上述问题，提出一种结合本体和规则推理的SFMEA方法。首先，构建了支持失效知识表示的SFMEA本体，实现软件失效知识的精确语义描述。在此基础上，以规则描述语言SWRL来定义失效规则，通过分析失效原因，实现对失效造成影响的自动化推理。最后，结合一个发动机熄火判断模块的案例分析，说明该方法的可行性和实用性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
