Software Process Synthesis in Assurance Based Development of Dependable Systems

—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. Keywords-software dependability; so...

• Type: Conference
• Year: 2010
• Where: EDCC
• Authors: Patrick J. Graydon, John C. Knight
• Keywords: ABD Process Synthesis, Applied Computing, Assurance Arguments, EDCC 2010, Process Synthesis Mechanism