A formal application of safety and risk assessment in software systems

Download
Author
Williamson, Christopher Loyal
Date
2004-09Advisor
Luqi
Metadata
Show full item recordAbstract
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.
Collections
Related items
Showing items related by title, author, creator and subject.
-
Application of architectural patterns and lightweight formal method for the validation and verification of safety critical systems
Karagiannakis, Vasileios (Monterey, California: Naval Postgraduate School, 2013-09);This thesis researches the role of software architectural patterns and lightweight formal methods in safety-critical software development. We present a framework that relates the different activities and products from ... -
Crowdsourced formal verification: a business case analysis toward a human-centered business model
Baur, Andreas (Monterey, California: Naval Postgraduate School, 2015-06);The DARPA project Crowd Sourced Formal Verification (CSFV) tries to investigate whether offering free games via the Internet that translate player’s actions into program annotations helps to overcome the challenges of the ... -
Documentation Driven Agile Development for Systems of Embedded Systems
Luqi; Zhang, Lynn (2003-09);This paper presents the framework of documentation-driven agile development (DDAD) methodology for high confidence systems of embedded systems. DDAD mainly includes two parts: a documentation management system (DMS) and a ...