Return to Podcast Series

Software Assurance Cases

Downloads

MP3

Transcript

January 16, 2014

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.

Loading Podcast.....

Categories:

Software Assurance

Share This:

Save to LinkedIn Share on Facebook Send to your Twitter page


About the Speaker

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.

Charles
Help us improve

Visitor feedback helps us continually improve our site.

Please tell us what you
think with this short
(< 5 minute) survey.