Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Showing 1 - 6 of 6 results for the Author - charles (chuck) weinstock , Type - White Paper

White Paper | August 2013 - White Paper Evidence of Assurance: Laying the Foundation for a Credible ... By Charles B. Weinstock, Howard F. Lipson

In this paper, the authors provide examples of several of the kinds of evidence that can contribute to a security case.

White Paper | July 2013 - White Paper Arguing Security - Creating Security Assurance Cases By Charles B. Weinstock, Howard F. Lipson, John B. Goodenough

In this paper, the authors explain an approach to documenting an assurance case for system security.

White Paper | April 2013 - White Paper Four Pillars for Improving the Quality of Safety-Critical ... By Peter H. Feiler, John B. Goodenough, Arie Gurfinkel, Charles B. Weinstock, Lutz Wrage

This white paper presents an improvement strategy comprising four pillars of an integrate-then-build practice that lead to improved quality through early defect discovery and incremental end-to-end validation and verification.

White Paper | November 2016 - White Paper FAA Research Project on System Complexity Effects on ... By Sarah Sheard, Charles B. Weinstock, Michael D. Konrad, Donald Firesmith

This report organizes our work on the impact of software complexity on aircraft safety by asking, “How can complexity complicate safety and, thus, certification?”

White Paper | November 2016 - White Paper FAA Research Project on System Complexity Effects on ... By Michael D. Konrad, Sarah Sheard, Charles B. Weinstock, William Nichols

This report describes a test of an algorithm for estimating the complexity of a safety argument.

White Paper | November 2016 - White Paper FAA Research Project on System Complexity Effects on ... By Michael D. Konrad, Sarah Sheard, Charles B. Weinstock, William Nichols

This report presents a formula for estimating the complexity of an avionics system and directly connects that complexity to the size of its safety argument.