University of Minnesota
Software Engineering Center

You are here

Relating Risk and Confidence - A Structured Approach to Constructing Assurance Cases

This tutorial introduces assured safety arguments, a new approach to arguing safety in which the safety argument is accompanied by a confidence argument that documents the confidence in the structure and bases of the safety argument. This structure separates the major components that have traditionally been confused within a single safety argument structure. Separation gives both arguments greater clarity of purpose, and helps avoid the introduction of superfluous arguments and evidence. In this tutorial we describe a systematic approach to establishing both arguments, illustrated with a running example.

This tutorial is offered in the morning of Friday, July 29.