File:A formal application of safety and risk assessment in software systems (IA aformalpplicatio109459959).pdf
Original file (1,275 × 1,650 pixels, file size: 1.74 MB, MIME type: application/pdf, 422 pages)
Captions
Captions
Summary[edit]
A formal application of safety and risk assessment in software systems
(   ) |
||
|---|---|---|
| Author |
Williamson, Christopher Loyal |
 |
| Title |
A formal application of safety and risk assessment in software systems |
|
| Publisher |
Monterey, California. Naval Postgraduate School, 2004. |
|
| Description |
The 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. Subjects: Project management.; Software safety; software failure; software engineering; software quality; high-assurance system; software economics; software development; reliability; risk assessment; safety management; risk management; project management; formal models; and software metrics |
|
| Language | English | |
| Publication date | September 2004 | |
| Current location |
IA Collections: navalpostgraduateschoollibrary; fedlink |
|
| Accession number |
aformalpplicatio109459959 |
|
| Source | ||
Licensing[edit]
|
This file is a work of a sailor or employee of the U.S. Navy, taken or made as part of that person's official duties. As a work of the U.S. federal government, it is in the public domain in the United States.
|
 |
| This file has been identified as being free of known restrictions under copyright law, including all related and neighboring rights. | ||
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 01:46, 14 July 2020 |  | 1,275 × 1,650, 422 pages (1.74 MB) | Fæ (talk | contribs) | FEDLINK - United States Federal Collection aformalpplicatio109459959 (User talk:Fæ/IA books#Fork8) (batch 1993-2020 #5711) |
You cannot overwrite this file.
File usage on Commons
The following page uses this file: