05/04/2011

Assurance Cases for Medical Devices

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)

04/28/2011

Assurance Cases for Medical Devices (Webinar)

In this presentation, Chuck Weinstock gives a brief introduction to assurance cases. He discusses how they are developed and why they are useful.

12/31/2010

System of Systems Software Assurance (SoSSA) Initiative

08/20/2010

A Framework for Modeling the Software Assurance Ecosystem: Insights from the Software Assurance Landscape Project

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.

05/26/2010

Engineering Improvement in Software Assurance: A Landscape Framework

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)

05/14/2010

Evaluating and Mitigating Software Supply Chain Security Risks

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.

04/02/2010

Evaluating Software's Impact on System and System and System of Systems Reliability

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.

03/29/2010

Reports from the Field on System of Systems Interoperability Challenges and Promising Approaches

This report identifies challenges and successful approaches to achieving system of systems (SoS) interoperability.

09/01/2007

Certified Binaries for Software Components

This report presents an approach to certify binary code against expressive policies to achieve the benefits of PCC and CMC.

09/01/2006

Certifying the Absence of Buffer Overflows

This report presents a technique for certifying the safety of buffer manipulations in C programs.

07/01/2006

Claims You’ll Need to Justify to Assure That Your System Will Succeed

Claims You’ll Need to Justify to Assure That Your System Will Succeed