File:Software fault tree analysis of concurrent Ada processes (IA softwarefaulttre1094543016).pdf

Summary

Software fault tree analysis of concurrent Ada processes   (Wikidata search (Cirrus search) Wikidata query (SPARQL)  Create new Wikidata item based on this file)
Author
Reid, William Samuel
image of artwork listed in title parameter on this page
Title
Software fault tree analysis of concurrent Ada processes
Publisher
Monterey, California. Naval Postgraduate School
Description

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.


Subjects: NA
Language English
Publication date September 1994
publication_date QS:P577,+1994-09-00T00:00:00Z/10
Current location
IA Collections: navalpostgraduateschoollibrary; fedlink
Accession number
softwarefaulttre1094543016
Source
Internet Archive identifier: softwarefaulttre1094543016Category:Scans from the Internet Archive#Software%20fault%20tree%20analysis%20of%20concurrent%20Ada%20processes%20(IA%20softwarefaulttre1094543016).pdfCategory:Scans from the Internet ArchiveCategory:Scans from the Internet Archive/unverified#Software%20fault%20tree%20analysis%20of%20concurrent%20Ada%20processes%20(IA%20softwarefaulttre1094543016).pdf
https://archive.org/download/softwarefaulttre1094543016/softwarefaulttre1094543016.pdf
Permission
(Reusing this file)
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.
Category:Books without Wikidata item

Licensing

Public domain
This work is in the public domain in the United States because it is a work prepared by an officer or employee of the United States Government as part of that person’s official duties under the terms of Title 17, Chapter 1, Section 105 of the US Code. Note: This only applies to original works of the Federal Government and not to the work of any individual U.S. state, territory, commonwealth, county, municipality, or any other subdivision. This template also does not apply to postage stamp designs published by the United States Postal Service since 1978. (See § 313.6(C)(1) of Compendium of U.S. Copyright Office Practices). It also does not apply to certain US coins; see The US Mint Terms of Use.
This file has been identified as being free of known restrictions under copyright law, including all related and neighboring rights.

Category:CC-PD-MarkCategory:PD US Government#Software%20fault%20tree%20analysis%20of%20concurrent%20Ada%20processes%20(IA%20softwarefaulttre1094543016).pdf

Category:FEDLINK - United States Federal Collection Category:Books uploaded by Fæ Category:Ada (programming language)
Category:Ada (programming language) Category:Books uploaded by Fæ Category:Books without Wikidata item Category:CC-PD-Mark Category:FEDLINK - United States Federal Collection Category:PD US Government Category:Scans from the Internet Archive Category:Scans from the Internet Archive/unverified