Show simple item record

dc.contributor.advisorShimeall, Timothy
dc.contributor.authorNeedham, Donald Michael
dc.date.accessioned2013-02-15T23:31:52Z
dc.date.available2013-02-15T23:31:52Z
dc.date.issued1990
dc.identifier.urihttp://hdl.handle.net/10945/28230
dc.description.abstractAs 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 analysis. Software Fault Tree Analysis (SFTA) starts with a system-level hazard that must be decomposed in a largely-human-intensive manner until specific modules of the software system are indicated. These modules can then be formally analyzed using statement templates. The focus of this thesis is to approach the decomposition of a system-level hazard from a formalized standpoint. Decomposition primarily proceeds along two distinct but interdependent dimensions, specificity of event and subsystem size. The Specificity-of-Event dimension breaks abstract or combined events into the specific system events that must be analyzed by the fault tree. The Subsystem-Size dimension deals with the scope of the hazard, and itemizes the subsystems where localized events may lead to the hazard. Decomposition templates are developed in this thesis to provide a framework for decomposing a system-level hazard to the point at which line-by-line code analysis can be conducted with existing statement templates. These templates serve as guides for conducting the decomposition, and ensure that as many as possible of all the applicable decomposition aspects are evaluateden_US
dc.description.urihttp://archive.org/details/formalapproachto00need
dc.format.extentix, 64 p.en_US
dc.language.isoen_US
dc.publisherMonterey, California: Naval Postgraduate Schoolen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.en_US
dc.subject.lcshComputer scienceen_US
dc.titleA formal approach to hazard decomposition in Software Fault Tree Analysisen_US
dc.typeThesisen_US
dc.contributor.secondreaderBradbury, Leigh
dc.contributor.corporateNA
dc.contributor.schoolNA
dc.contributor.departmentComputer Science
dc.subject.authorFault Tree Analysis, Software Safety, Real-time software, Control software, Formal Models, Life-critical software, Safety Assessment.;en_US
dc.description.funderNAen_US
dc.description.recognitionNAen_US
dc.description.serviceU.S. Navy (U.S.N.) author.en_US
dc.identifier.oclcocn457270414
etd.thesisdegree.nameM.S. in Computer Scienceen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineComputer Scienceen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record