Show simple item record

dc.contributor.advisorLuqi
dc.contributor.authorWilliamson, Christopher Loyal
dc.dateSeptember 2004
dc.date.accessioned2012-08-22T15:30:45Z
dc.date.available2012-08-22T15:30:45Z
dc.date.issued2004-09
dc.identifier.urihttp://hdl.handle.net/10945/9959
dc.description.abstractThe current state of the art techniques of Software Engineering lack a formal method and metric for measuring the safety index of a software system. The lack of such a methodology has resulted in a series of highly publicized and costly catastrophic failures of high-assurance software systems. This dissertation introduces a formal method for identifying and evaluating the weaknesses in a software system using a more precise metric, counter to traditional methods of development that have proven unreliable. This metric utilizes both a qualitative and quantitative approach employing principles of statistics and probability to determine the level of safety, likelihood of hazardous events, and the economic cost-benefit of correcting flaws through the lifecycle of a software system. This dissertation establishes benefits in the fields of Software Engineering of high-assurance systems, improvements in Software Safety and Software Reliability, and an expansion within the discipline of Software Economics and Management.en_US
dc.description.urihttp://archive.org/details/aformalpplicatio109459959
dc.format.extentxxiv, 395 p. ; 28 cm.en_US
dc.publisherMonterey, California. Naval Postgraduate School, 2004.en_US
dc.subject.lcshProject management.en_US
dc.titleA formal application of safety and risk assessment in software systemsen_US
dc.contributor.departmentComputer Science
dc.subject.authorSoftware safetyen_US
dc.subject.authorsoftware failureen_US
dc.subject.authorsoftware engineeringen_US
dc.subject.authorsoftware qualityen_US
dc.subject.authorhigh-assurance systemen_US
dc.subject.authorsoftware economicsen_US
dc.subject.authorsoftware developmenten_US
dc.subject.authorreliabilityen_US
dc.subject.authorrisk assessmenten_US
dc.subject.authorsafety managementen_US
dc.subject.authorrisk managementen_US
dc.subject.authorproject managementen_US
dc.subject.authorformal modelsen_US
dc.subject.authorand software metricsen_US
dc.description.serviceLieutenant Commander, United States Navyen_US
etd.thesisdegree.namePh.D in Software Engineeringen_US
etd.thesisdegree.levelDoctoralen_US
etd.thesisdegree.disciplineSoftware Engineeringen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US
dc.description.distributionstatementApproved for public release; distribution is unlimited.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record