-
题名结合本体和规则推理的SFMEA方法研究
被引量：2
- 1
-
-
作者
朱羿全
沈国华
康达周
廖莉莉
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机与现代化》
2015年第1期15-20,共6页
-
基金
国家自然科学基金资助项目(61272083
61100034
+2 种基金
61170043)
江苏省自然科学基金青年基金资助项目(BK20130812)
中央高校基本科研业务费专项资金资助项目(NS2014099)
-
文摘
安全关键软件一旦失效将造成严重后果。软件失效模式和影响分析(Software Failure Modes and Effect Analysis,SFMEA)是一种工业界常用的软件安全性分析方法。由于SFMEA依赖人工分析,存在信息共享性差、分析准确性低等问题。针对上述问题,提出一种结合本体和规则推理的SFMEA方法。首先,构建了支持失效知识表示的SFMEA本体,实现软件失效知识的精确语义描述。在此基础上,以规则描述语言SWRL来定义失效规则,通过分析失效原因,实现对失效造成影响的自动化推理。最后,结合一个发动机熄火判断模块的案例分析,说明该方法的可行性和实用性。
-
关键词
安全关键软件
软件安全性
软件失效模式与影响分析
本体论
规则推理
-
Keywords
safety-critical software
software safety
SFMEA
ontology
rule reasoning
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名智能温度变送器软件的可靠性分析
被引量：1
- 2
-
-
作者
李盼盼
-
机构
华东理工大学信息科学与工程学院
上海工业自动化仪表研究院
-
出处
《自动化仪表》
CAS
2015年第1期83-86,90,共5页
-
文摘
近年来,国内外对于软件的失效模式与影响分析(SFMEA)越来越关注,相继颁布了一系列的标准。依据GJB 1391中给出的软件失效模式与影响分析方法,以智能温度变送器软件为分析对象进行可靠性分析,并将分析结果用于指导软件开发的后期工作。分析结果表明,智能温度变送器中温度计算软件模块的失效是影响系统的关键环节,分析结果有利于软件设计等后期开发过程有针对性地执行可靠性活动。
-
关键词
软件失效模式与影响分析
智能温度变送器
检测模式
温度计算软件
HART
-
Keywords
SFMEA Intelligent temperature transmitter Detection mode Temperature calculation software HART
-
分类号
TP202
[自动化与计算机技术—检测技术与自动化装置]
-
