Software Assurance Cases
January 2014 • Podcast
Charles (Chuck) Weinstock Interviewer Suzanne Miller
In this podcast, Charles Weinstock introduces assurance cases and how they can be used to assure safety, security, and reliability.
Listen
Abstract
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.
About the Speaker
Charles (Chuck) Weinstock
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 ...
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.
