Software Process Synthesis in Assurance Based Development

Authors:Graydon, Patrick, Department of Computer ScienceUniversity of Virginia Knight, John, Department of Computer ScienceUniversity of Virginia

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.

All rights reserved (no additional license for public reuse)
Source Citation:

Graydon, Patrick, and John Knight. "Software Process Synthesis in Assurance Based Development." University of Virginia Dept. of Computer Science Tech Report (2009).

University of Virginia, Department of Computer Science
Published Date: