Item Details

Software Process Synthesis in Assurance Based Development

Graydon, Patrick; Knight, John
Format
Report
Author
Graydon, Patrick
Knight, John
Abstract
Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance drives a unique process synthesis mechanism that results in a detailed process for building both software and an argument demonstrating its fitness for use in given operating contexts. In this paper, we introduce the ABD process synthesis mechanism. A key element of ABD process synthesis is the success argument, an argument which documents developers� rationale for believing that the development effort in progress will result in a system that demonstrably meets an acceptable balance of all stakeholder goals. Such goals include safety and security requirements for systems using the software as a component and time and budget constraints. We also present the details of a case study in which we used ABD to develop the control software for a prototype artificial heart pump.
Language
English
Date Received
20121029
Published
University of Virginia, Department of Computer Science, 2009
Published Date
2009
Collection
Libra Open Repository
Logo for In CopyrightIn Copyright

Availability

Access Online