Software fault tree analysis of concurrent Ada processes
Reid, William Samuel
Shimeall, Timothy J.
MetadataShow full item record
The Automated Code Translation Tool (ACTT) was developed at Naval Postgraduate School to partially automate the translation of Ada programs into software fault trees. The tool works as follows: 1 ). The Ada parser and lexical analyzer calls the ACTT upon recognition of an Ada statement; 2) The ACTT produces a template representing the statement; 3). The templates are linked together. _The tool was lacking in that it only looked at a subset of Ada structures. The problem that this thesis addresses is the implementation of the missing language structures, specifically, concurrency and exception handling, to allow the ACTT to handle all of the Ada structures. The result is a tool that takes the Ada source code and provides the analyst with a sequence of templates, and summary information to assist in incorporating hazard information for generating a fault tree.
Approved for public release, distribution unlimited
Showing items related by title, author, creator and subject.
Goktepe, Meftun. (Monterey, California. Naval Postgraduate School, 2002-09);Windows XP, released in October 2001, brought new features to improve the work environment throughout organizations. The purpose of this research is to determine if Windows XP, when used as a workstation operating system ...
Needham, Donald Michael (Monterey, California: Naval Postgraduate School, 1990);As digital control systems are used in life-critical applications, assessment of the safety of these control systems becomes increasingly important. One means of formally performing this assessment is through fault tree ...
Chok, Mohamed B. (1984);The programming system (TTPS) described in this thesis is based on tree transformatioc techniques, commonly known as abstract transformation. The objects manipulated by the user through "TTPS" are: the templates, the ...