DocumentCode :
3589813
Title :
A reuse-oriented auxiliary construction method for software fault tree and tool implementation
Author :
Luyi Li ; Minyan Lu ; Tingyang Gu
Author_Institution :
Sch. of Reliability & Syst. Eng., Beihang Univ., Beijing, China
fYear :
2014
Firstpage :
451
Lastpage :
456
Abstract :
Current SFTA methods highly rely on the experience of analysts and it´s difficult to reuse history information of SFTA for current methods. With the increase of software complexity, the scale of software fault tree has increased explosively. Thus, there is an urgent need to effectively reuse history information of SFTA in order to avoid repeating analysis and improve efficiency. To organize fault tree information effectively, mine valuable patterns from history information and reuse SFTA information, this paper proposed a reuse-oriented auxiliary construction method for software fault tree. Firstly, a semi-formal method is proposed to define software fault tree information, which includes elements such as node, relation, type, target function and target software module. Then a knowledge base for software fault tree information is constructed. History information is indexed and reconstructed from several different attribute dimensions. Finally, by text matching and intelligent linking, a reusable sub fault tree is generated automatically from the knowledge base and can be inserted into another fault tree, achieving the goal of reusing SFTA information. The method proposed in this paper can effectively provide aid for SFTA, improve analysis efficiency and increase automation degree. Meanwhile, a tool based on this method is introduced in the paper, which also includes some other useful features such as automatic alignment of nodes, rule checking, minimal cut set calculation, qualitative analysis, and report generation. An example is provided in the paper to demonstrate how to use this method and validate the applicability, validity and efficiency of this method.
Keywords :
software fault tolerance; software reusability; SFTA methods; automatic alignment; history information; intelligent linking; minimal cut set calculation; qualitative analysis; report generation; reusable subfault tree; reuse oriented auxiliary construction method; rule checking; semiformal method; software complexity; software fault tool implementation; software fault tree; software fault tree implementation; software module; target function; target software module; text matching; Fault trees; History; Knowledge based systems; Logic gates; Software; Software reliability; auxiliary analysis of software fault tree; complex software; formal method;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Reliability, Maintainability and Safety (ICRMS), 2014 International Conference on
Print_ISBN :
978-1-4799-6631-8
Type :
conf
DOI :
10.1109/ICRMS.2014.7107237
Filename :
7107237
Link To Document :
بازگشت