The essential synthesis of problem frames and assurance cases

  • Authors:
  • Elisabeth A. Strunk;John C. Knight

  • Affiliations:
  • University of Virginia, Charlottesville, VA;University of Virginia, Charlottesville, VA

  • Venue:
  • Proceedings of the 2006 international workshop on Advances and applications of problem frames
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Problem frames and assurance cases are two current research areas that can improve - and have improved - system dependability, in critical and noncritical systems alike. While these two techniques are effective separately, their synthesis is much more powerful. This paper describes the rationale behind the synthesis, the particular pieces that influence each other, and the beginning of a process to integrate the two in software system development.