An automated tool to facilitate code translation for software fault tree analysis.
Loading...
Authors
Ordonio, Robert Romero
Subjects
ADA
Fault tree analysis
Fault tree editors
Lexical analyzers
Parsers
Safety
Software fault tree analysis
Software safety
System safety
Fault tree analysis
Fault tree editors
Lexical analyzers
Parsers
Safety
Software fault tree analysis
Software safety
System safety
Advisors
Shimeall, Timothy J.
Date of Issue
1993-09
Date
September 1993
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
A safe system is defined as a system that prevents unsafe states from producing safety failures, where an unsafe state is defined as a state that may lead to safety failure unless some specific action is taken to avert it. The problem that this thesis addresses is how to find places in Ada programs where faults are likely to occur during program execution. The approach is to build an automated translation tool that translates Ada programs into a software fault tree. (Lev 83) The tool works as follows: (1) The Ada parser and lexical analyzer calls the Automated Code Translation Tool (ACTT) upon recognition of an Ada statement; (2) The ACTT produces a template representing the statement; (3) The templates are linked together as a software fault tree. The result is a program that takes Ada source code as input and produces a software fault tree as output.
Type
Thesis
Description
Series/Report No
Department
Department of Computer Science
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
203 p.
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
Rights
This 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.