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