CERT-SEI
SEI_Podcast_2014_thin

01/16/2014

Software Assurance Cases

Charles "Chuck" Weinstock as interviewed by Suzanne Miller

Summary

From the braking system in automobiles to the software that controls aircraft, safety-critical systems are ubiquitous. Showing that such systems meet their safety requirements has become a critical area of work for software and systems engineers. The SEI is addressing this issue with a significant research program into assurance cases. In this podcast, the first in a series on assurance cases and confidence, Charles Weinstock introduces the concept of assurance cases and discusses how they can be used to assure that complex software-based systems meet certain kinds of requirements such as safety, security, and reliability.

Downloads: MP3 | Transcript

Loading Podcast.....

Categories: Software Assurance

Share This:

About the Speakers

Charles

Charles Weinstock’s research focuses on the area of dependable computing with a recent emphasis on assurance cases and measuring confidence. In more than 25 years at the SEI, Weinstock has worked in the areas of model-based verification, fault tolerant computing, open source software, distributed real-time systems, architecture analysis, assurance cases, confidence, and argumentation theory.