-
题名基于IPO功能分解的嵌入式软件故障树分层构建方法
被引量：3
- 1
-
-
作者
黄百乔
赖婧
张虹
陆民燕
-
机构
北京航空航天大学可靠性与系统工程学院
中国船舶工业集团公司船舶系统工程部
-
出处
《沈阳工业大学学报》
EI
CAS
北大核心
2013年第2期204-211,共8页
-
基金
"十一五"国防预研基金资助项目(5131907XXX)
-
文摘
针对嵌入式软件需求阶段的安全性分析方法中故障树分析缺少构建方法的问题,结合嵌入式系统的特点,提出了一种故障树分层构建方法.为构建各功能层内部的故障树,提出了基于IPO的功能分解法,采用失效模式与影响分析方法对分解的各部分功能进行影响分析,以确定构建故障树的建树元素,并提出了功能层内部故障树构建的框架模型与各功能层故障树的层次关系,实现了部分故障树构建的自动化,提高了故障树构建的完整性、准确性与效率.在某型号发动机控制软件的安全性分析中,应用上述方法指导该嵌入式软件故障树的构建与分析,验证了该方法的可行性和有效性.
-
关键词
嵌入式软件
软件故障树
分层分析
软件安全性
软件失效模式与影响
输入-处理过程-输出
-
Keywords
embedded software
software fault tree（SFT）
hierarchical analysis
software safety
softwareFMEA
IPO
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名结合本体和规则推理的SFMEA方法研究
被引量：2
- 2
-
-
作者
朱羿全
沈国华
康达周
廖莉莉
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机与现代化》
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
- 3
-
-
作者
李盼盼
-
机构
华东理工大学信息科学与工程学院
上海工业自动化仪表研究院
-
出处
《自动化仪表》
CAS
2015年第1期83-86,90,共5页
-
文摘
近年来,国内外对于软件的失效模式与影响分析(SFMEA)越来越关注,相继颁布了一系列的标准。依据GJB 1391中给出的软件失效模式与影响分析方法,以智能温度变送器软件为分析对象进行可靠性分析,并将分析结果用于指导软件开发的后期工作。分析结果表明,智能温度变送器中温度计算软件模块的失效是影响系统的关键环节,分析结果有利于软件设计等后期开发过程有针对性地执行可靠性活动。
-
关键词
软件失效模式与影响分析
智能温度变送器
检测模式
温度计算软件
HART
-
Keywords
SFMEA Intelligent temperature transmitter Detection mode Temperature calculation software HART
-
分类号
TP202
[自动化与计算机技术—检测技术与自动化装置]
-
