This presentation will include a brief introduction to assurance cases, why they are useful, how they are developed, and how they can be used to help assure the safety of medical devices. (1hr:02 mins)
In this presentation, Chuck Weinstock gives a brief introduction to assurance cases. He discusses how they are developed and why they are useful.
This report describes the SEI Assurance Modeling Framework and discusses an initial piloting of the framework to prove its value and insights gained from that piloting for the adoption of selected assurance solutions.
The SEI is developing a way to model key aspects of assurance to accelerate the adoption of assurance solutions within operational settings for the Department of Defense and other government organizations. SEI researchers have developed an Assurance Modeling Framework to build a profile for an assurance capability area such as vulnerability management within an assurance quality such as security. (1hr)
This 2010 report identifies software supply chain security risks and specifies the evidence that must be gathered to determine whether these risks have been mitigated.
System engineers are uncertain about how to determine the impact of software on overall system reliability – particularly when attempting to evaluate the impact of software on system of systems (SoS) reliability. New guides are needed to better deal adequately with aspects of systems and SoS reliability.
This report identifies challenges and successful approaches to achieving system of systems (SoS) interoperability.
This report presents an approach to certify binary code against expressive policies to achieve the benefits of PCC and CMC.
This report presents a technique for certifying the safety of buffer manipulations in C programs.
Claims You’ll Need to Justify to Assure That Your System Will Succeed