Software fault tree analysis of concurrent Ada processes
William Samuel Reid · Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School) · 1994
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.