摘要
在安全关键系统中,例如航空航天、高速铁路、核电站等,越来越多的功能由嵌入式软件实现,嵌入式软件的安全性备受重视,也是近期的热点话题。故障树分析是安全性分析的常用技术,在系统和硬件领域已十分普及,而在软件领域还有待研究和应用。介绍嵌入式软件故障树分析技术,并通过案例演示了如何开展嵌入式软件故障树分析,最后介绍如何应用开源故障树分析软件OpenFTA实施具体的故障树分析。
In safety-critical systems such as aerospace,high-speed railway,nuclear power plant and so on,more and more functions are implemented by the embedded software.The safety of embedded software system attracts increasing attentions and becomes a hot topic recently.Fault tree analysis is a popular method for safety analysis and is widely used in system and hardware fields.However,its study and application in software engineering is yet to be developed.In this paper,we introduce the fault tree analysis on embedded software and provide a demonstration via a case on a typical execution of the fault tree analysis on embedded system.In the end of the paper,we illustrate how to perform the fault tree analysis using open source software OpenFTA.
出处
《计算机应用与软件》
CSCD
北大核心
2012年第9期258-260,280,共4页
Computer Applications and Software
关键词
嵌入式软件
故障树分析
软件安全性
Embedded software ,Fault tree analysis, Software safety
