CAJ | 학술논문

安全关键软件一旦失效将造成严重后果。软件失效模式和影响分析（ Software Failure Modes and Effect Analysis ， SFMEA）是一种工业界常用的软件安全性分析方法。由于SFMEA依赖人工分析，存在信息共享性差、分析准确性低等问题。针对上述问题，提出一种结合本体和规则推理的SFMEA方法。首先，构建了支持失效知识表示的SFMEA本体，实现软件失效知识的精确语义描述。在此基础上，以规则描述语言SWRL来定义失效规则，通过分析失效原因，实现对失效造成影响的自动化推理。最后，结合一个发动机熄火判断模块的案例分析，说明该方法的可行性和实用性。
안전관건연건일단실효장조성엄중후과。연건실효모식화영향분석（ Software Failure Modes and Effect Analysis ， SFMEA）시일충공업계상용적연건안전성분석방법。유우SFMEA의뢰인공분석，존재신식공향성차、분석준학성저등문제。침대상술문제，제출일충결합본체화규칙추리적SFMEA방법。수선，구건료지지실효지식표시적SFMEA본체，실현연건실효지식적정학어의묘술。재차기출상，이규칙묘술어언SWRL래정의실효규칙，통과분석실효원인，실현대실효조성영향적자동화추리。최후，결합일개발동궤식화판단모괴적안례분석，설명해방법적가행성화실용성。
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 analy-sis, thus it has poor reusability and low accuracy .To solve these problems ,this paper proposes a creative SFMEA method com -bined 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).Ac-cording 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 .