Fault isolator tool for software fault tree analysis
Mason, Russell William
Shimeall, Timothy J.
MetadataShow full item record
Software Fault Tree Analysis (SETA) is a technique used to analyze software for faults that could lead to hazardous conditions in systems which contain software components. A necessary element of a SETA process is the construction of software fault trees based upon the syntactical structure of the software being analyzed. The specific problem addressed by this thesis is how can the process of generating software fault trees based upon the translation of Ada source code files be automated. The approach taken to address this problem was to develop an automated tool that manipulates files created by the Automated Code Translation Tool (ACTT) Ord 93 and Reid 94 developed earlier at the Naval Postgraduate School. The ACTT is an automated tool that translates Ada source code files into statement template tree structures that can be used to construct software fault trees. This thesis presents the Fault Isolator Tool (FIT), an automated process for locating and isolating those parts of a statement template tree structure generated by the ACTI tool that are related to statements in Ada programs that the analyst selects for evaluation. The FIT tool then generates software fault trees in a form compatible with the Fault Tree Editor (FTE), an interactive graphical editor designed by Chuck Lombardo, a computer systems administrator at the Naval Postgraduate School. The FTE was developed for the display, editing, and evaluation of software fault trees.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Hunt, Stephen (Monterey, California. Naval Postgraduate School, 2018-04-30); SYM-AM-18-179This paper describes a software analysis application, the Set-Based Design Evaluation Tool (SET), which supports an innovative accelerated acquisition methodology for rapidly informing prototyping investments across the ...
Hunt, Stephen G.; Byers, Richard; Hoeckley, Rhonda (Monterey, California. Naval Postgraduate School, 2018-04-30); SYM-AM-18-094This paper describes a software analysis application, the Set-Based Design Evaluation Tool (SET), which supports an innovative accelerated acquisition methodology for rapidly informing prototyping investments across the ...
Le, Hanh Cong Thi. (Monterey, California: Naval Postgraduate School, 1999-12);The fundamental purpose of this research is to develop an automated software evolution tool, CASES, for large and complex systems. CASES (Computer- Aided Software Evolution System) is based on the Relational Hypergraph ...