Accession Number:

ADA273205

Title:

An Automated Tool To Facilitate Code Translation for Software Fault Tree Analysis

Descriptive Note:

Master's thesis

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

Report Date:

1993-09-01

Pagination or Media Count:

211.0

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. Ada, Fault tree analysis, Fault tree editors, Lexical analyzers, Parsers, Safety, Software fault tree analysis, Software safety, System safety.

Subject Categories:

  • Safety Engineering

Distribution Statement:

APPROVED FOR PUBLIC RELEASE