检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国航空综合技术研究所质量工程中心,北京100028
出 处:《计算机测量与控制》2012年第11期3017-3020,共4页Computer Measurement &Control
摘 要:近年来,软件安全性与可靠性在保证系统安全、避免重大人员伤亡和财产损失方面起到了重要作用,工程中对软件安全性与可靠性分析的应用有着十分迫切的需求;然而,工程中目前还缺乏软件安全性与可靠性分析的实施方案作为指导;为了促进软件安全性与可靠性分析工作的有效开展,文中结合FHA(功能危险评估)、PHA(初步危险分析)、SFMEA(软件失效模式及影响分析)、SFTA(软件故障树分析)4种分析技术,提出一种基于系统危险的软件安全性与可靠性分析方案;该方案使用FHA进行危险识别,根据PHA进行危险的追踪与控制,运用SFMEA进行软件失效模式、影响分析,再通过SFTA分析软件失效原因并提取软件安全性需求;然后,文中利用这种方案进行实例应用研究,指导软件安全性与可靠性分析的有效开展;最后,文中总结并展望了软件安全性与可靠性分析技术研究的发展方向。In recent years, software safety and reliability plays an important role in assuring system safety and avoiding the casualties and property losses. It is necessary to make application of software safety and reliability analysis in practice. However, there is no guideline for software safety and reliability analysis. In order to solve the problem, the paper gives a software safety and reliability analysis approach based on system hazards. The approach is combined from FHA (Function Hazard Assessment), PHA (Preliminary Hazard Analysis), SFMEA (Software Failure Mode and Effect Analysis) and SFTA (Software Fault Tree Analysis). The approach include four steps, which are identif- ying system hazards by FHA, tracing and controlling hazards by PHA, analyzing software failure modes and effects by SFMEA, and analy- zing software failure causes and obtaining software safety requirements by SFTA. Besides, the paper also shows an example using the ap- proach, which could guide software engineers to make software safety and reliability analysis more efficient. Finally, the future development in the research area of software safety and reliability analysis is also discussed.
关 键 词:系统危险 软件安全性分析 软件可靠性分析 FHA PHA SFMEA SFTA
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.129.216.70