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

Charles B. Weinstock
January 2014 - Podcast Software Assurance Cases

Topics: Software Assurance

Authors: Charles "Chuck" Weinstock, Suzanne Miller

In this podcast, Charles Weinstock introduces assurance cases and how they can be used to assure safety, security, and reliability.

August 2013 - White Paper Evidence of Assurance: Laying the Foundation for a Credible Security Case

Topics: Cybersecurity Engineering, Software Assurance

Authors: 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.

July 2013 - White Paper Arguing Security - Creating Security Assurance Cases

Topics: Cybersecurity Engineering, Software Assurance

Authors: 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.

April 2013 - White Paper Four Pillars for Improving the Quality of Safety-Critical Software-Reliant Systems

Topics: Software Architecture

Authors: 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.

March 2013 - Conference Paper Eliminative Induction: A Basis for Arguing System Confidence

Topics: Software Architecture, Software Assurance

Authors: John B. Goodenough, Charles B. Weinstock, Ari Z. Klein

In this paper, the authors explain how the principle of eliminative induction provides a basis for assessing confidence in an assurance case argument.

March 2013 - Conference Paper Measuring Assurance Case Confidence using Baconian Probabilities

Topics: Software Architecture, Software Assurance

Authors: John B. Goodenough, Ari Z. Klein, Charles B. Weinstock

In this 2013 paper, the authors discuss how to assess confidence in a case by considering the doubts eliminated by the claims and evidence in a case.

November 2012 - Special Report Reliability Improvement and Validation Framework

Topics: Software Architecture

Authors: Peter H. Feiler, John B. Goodenough, Arie Gurfinkel, Charles B. Weinstock, Lutz Wrage

This report discusses the reliability validation and improvement framework developed by the SEI. The purpose of this framework is to provide a foundation for addressing the challenges of qualifying increasingly software-reliant, safety-critical systems.

September 2012 - Technical Report Toward a Theory of Assurance Case Confidence

Topics: Software Architecture, Software Assurance

Authors: John B. Goodenough, Charles B. Weinstock, Ari Z. Klein

In this report, the authors present a framework for thinking about confidence in assurance case arguments.

April 2011 - Webinar Assurance Cases for Medical Devices

Topics: Software Assurance

Authors: Charles B. Weinstock

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

May 2010 - Technical Note Evaluating and Mitigating Software Supply Chain Security Risks

Topics: Software Assurance

Authors: Robert J. Ellison, John B. Goodenough, Charles B. Weinstock, Carol Woody

In this 2010 report, the authors identify software supply chain security risks and specify evidence to gather to determine if these risks have been mitigated.

October 2009 - Technical Note Towards an Assurance Case Practice for Medical Devices

Topics: Performance and Dependability, Software Assurance

Authors: Charles B. Weinstock, John B. Goodenough

In this report, the authors explore how to enable manufacturers and federal regulators gain confidence in software-dominated medical devices.

December 2008 - Technical Report Results of SEI Independent Research and Development Projects (FY 2008)

Authors: Dionisio de Niz, Gabriel Moreno, Robert Nord, Ipek Ozkaya, Daniel Plakosh, Ragunathan Rajkumar, Lui R. Sha, Robert W. Stoddard, Kurt C. Wallnau, Charles B. Weinstock, Lutz Wrage, Sherman Eagles, Peter H. Feiler, John B. Goodenough, Jörgen Hansson, Paul Jones, Rick Kazman, Mark H. Klein, Insup Lee

This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2008 (October 2007 through September 2008).

May 2008 - Technical Report Survivability Assurance for System of Systems

Topics: Cybersecurity Engineering, Software Assurance

Authors: Robert J. Ellison, John B. Goodenough, Charles B. Weinstock, Carol Woody

In this report, the authors describe the Survivability Analysis Framework, a structured view of people, process, and technology.

March 2006 - Technical Note On System Scalability

Topics: Performance and Dependability

Authors: Charles B. Weinstock, John B. Goodenough

This 2006 report presents an analysis of what is meant by scalability and a description of factors to be considered when assessing the potential for system scalability.

December 2005 - Technical Report Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)

Authors: Rosann W. Collins, Rick Kazman, Richard C. Linger (Oak Ridge National Laboratory), Mark Pleszkoch, Stacy J. Prowell, Natasha Sharygina, Kurt C. Wallnau, Gwendolyn H. Walton, Charles B. Weinstock, Lutz Wrage, Sagar Chaki, Peter H. Feiler, John B. Goodenough, Aaron Greenhouse, Jörgen Hansson (University of Skovde), Alan R. Hevner (University of South Florida), John J. Hudak, Angel Jordan

This report describes the IR&D projects that were conducted during fiscal year 2005 (October 2004 through September 2005). In addition, this report provides information on what the SEI has learned in its role as a technology scout for developments over the past year in the field of software engineering.

May 2004 - Technical Note Dependability Cases

Topics: Performance and Dependability, Software Assurance

Authors: Charles B. Weinstock, John B. Goodenough, John J. Hudak

In this 2004 report, the authors explain how to create a dependability case for a system that helps identify and keep track of details of large systems.

October 2003 - Technical Report Quality Attribute Workshops (QAWs), Third Edition

Topics: Software Architecture

Authors: Mario R. Barbacci, Robert J. Ellison, Anthony J. Lattanze, Judith A. Stafford, Charles B. Weinstock, William G. Wood

This report describes the newly revised QAW (Quality Attribute Workshop) and describes potential uses of the refined scenarios generated during it.

October 2002 - Technical Note Model-Based Verification: Abstraction Guidelines

Topics: Performance and Dependability

Authors: John J. Hudak, Santiago Comella-Dorda, David P. Gluch, Grace Lewis, Charles B. Weinstock

This 2002 report presents abstraction techniques that can be used to build essential models of system behavior in the context of MBV and details a methodology for creating state machine models using those techniques.

August 2002 - Technical Report Model-Based Verification: An Engineering Practice

Topics: Performance and Dependability

Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Julie A. Walker, Charles B. Weinstock, David Zubrow

This 2002 report summarizes MBV and outlines the responsibilities of engineers engaged in Model-Based Verification.

June 2002 - Technical Report Quality Attribute Workshops, 2nd Edition

Topics: Software Architecture

Authors: Mario R. Barbacci, Robert J. Ellison, Anthony J. Lattanze, Judith A. Stafford, Charles B. Weinstock, William G. Wood

This report clarifies the context in which a QAW (Quality Attribute Workshop) is applicable, provides a rationale for developing the process and describes it in detail, and concludes with a list of lessons learned and a discussion of how these lessons have helped evolve the process to its current state.

January 2002 - Technical Note Model-Based Verification: Guidelines for Generating Expected Properties

Topics: Performance and Dependability

Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Charles B. Weinstock

This report presents a basic set of guidelines to facilitate the generation of expected properties in the context of Model-Based Verification.

December 2001 - Technical Note Model-Based Verification: Analysis Guidelines

Topics: Performance and Dependability

Authors: Grace Lewis, Santiago Comella-Dorda, David P. Gluch, John J. Hudak, Charles B. Weinstock

This technical note provides guidance for the analysis activity that occurs during the interpretation of results produced by model-checking tools.

November 2001 - Technical Report Perspectives on Open Source Software

Topics: System of Systems

Authors: Scott Hissam, Charles B. Weinstock, Daniel Plakosh, Jai Asundi

This 2001 report summarizes the results of a study of the benefits of pitfalls of using open source software.

October 2001 - Special Report Framework Document: Model-Based Verification Pilot Study

Topics: Performance and Dependability

Authors: David P. Gluch, John J. Hudak, Robert Janousek, Julie A. Walker, Charles B. Weinstock, David Zubrow

This 2001 document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of MBV.

October 2001 - Technical Note Model-Based Verification: Claim Creation Guidelines

Topics: Performance and Dependability

Authors: Santiago Comella-Dorda, David P. Gluch, John J. Hudak, Grace Lewis, Charles B. Weinstock

This 2001 report describes a pattern-based approach to facilitate claim generation.

October 2001 - Technical Note Model-Based Verification: Scope, Formalism, and Perspective Guidelines

Topics: Performance and Dependability

Authors: David P. Gluch, Santiago Comella-Dorda, John J. Hudak, Grace Lewis, Julie A. Walker, Charles B. Weinstock

This report provides guidance for defining the scope, formalism, and perspective for applying MBV, a systematic approach to finding defects in software requirements, designs, or code.

May 2001 - Technical Report Quality Attribute Workshops

Topics: Software Architecture

Authors: Mario R. Barbacci, Robert J. Ellison, Judith A. Stafford, Charles B. Weinstock, William G. Wood

This report describes the QAW (Quality Attribute Workshop) approach, which is a method for evaluating a software-intensive system architecture during the acquisition phase of major programs.

January 2000 - Special Report Quality Attribute Workshop Participants Handbook

Topics: Software Architecture

Authors: Mario R. Barbacci, Robert J. Ellison, Charles B. Weinstock, William G. Wood

This report describes the 1) process we use to conduct QAW (Quality Attribute Workshop), 2) information required, 3) suggested tools, and 4) expected outcomes of QAWs.

August 1999 - Technical Report Simplex in a Hostile Communications Environment: The Coordinated Prototype

Topics: Performance and Dependability

Authors: Neal Altman, Charles B. Weinstock, Lui R. Sha, Danbing Seto

This report describes an approach to using Simplex to construct a COTS-based computer system capable of coordinated real-time motion control in a hostile communications environment.

September 1998 - Technical Report Model-Based Verification: A Technology for Dependable Upgrade

Topics: Performance and Dependability

Authors: David P. Gluch, Charles B. Weinstock

This 1998 report outlines the technological foundations of model-based verification for engineering software system upgrades.

July 1998 - Special Report Mapping MetaH into ACME

Topics: Performance and Dependability

Authors: Mario R. Barbacci, Charles B. Weinstock

This 1998 report explores the translation of MetaH into ACME.

May 1998 - Technical Report Steps in an Architecture Tradeoff Analysis Method: Quality Attribute Models and Analysis

Topics: Software Architecture

Authors: Mario R. Barbacci, Peter H. Feiler, Mark H. Klein, Howard F. Lipson, Thomas A. Longstaff, Charles B. Weinstock, Jeromy Carriere

This paper presents some of the steps in an emerging architecture tradeoff analysis method (ATAM).

August 1997 - Special Report Workshop on the State of the Practice in Dependably Upgrading Critical Systems

Topics: Performance and Dependability

Authors: David P. Gluch, Charles B. Weinstock

This report describes the results of the Workshop on the State of the Practice in Dependably Upgrading Critical Systems held April 16-17, 1997 at the Software Engineering Institute.

July 1997 - Special Report A Perspective on the State of Research in Fault-Tolerant Systems

Topics: Performance and Dependability

Authors: Charles B. Weinstock, David P. Gluch

This 1997 report presents a perspective on research in fault tolerance as it relates to dependability in software-based systems and attempts to describe the current state of, and outline future directions for, this broad research field.

May 1997 - Technical Report Principles for Evaluating the Quality Attributes of a Software Architecture

Topics: Software Architecture

Authors: Mario R. Barbacci, Mark H. Klein, Charles B. Weinstock

This report describes a few principles for analyzing a software architecture to determine if it exhibits certain quality attributes.

March 1996 - Technical Report An Architectural Description of the Simplex Architecture

Topics: Acquisition Support, Performance and Dependability, Software Architecture

Authors: JoseGermanRivera, AlejandroAndresDanylyszyn, Charles B. Weinstock, Lui R. Sha, Michael J. Gagliardi

This report describes SEI-developed Simplex, a software architecture for dependable and evolvable process-control systems.

December 1995 - Technical Report Quality Attributes

Topics: Software Architecture

Authors: Mario R. Barbacci, Mark H. Klein, Thomas A. Longstaff, Charles B. Weinstock

This report describes efforts to develop a unifying approach for reasoning about multiple software quality attributes.

June 1993 - Special Report Dependable Software Technology Exchange

Authors: Charles B. Weinstock, Fred Schneider

This report summarizes the discussions at the 1993 Dependable Software Technology Exchange meeting.

February 1992 - Technical Report A Conceptual Framework for System Fault Tolerance

Topics: Performance and Dependability

Authors: Walter Heimerdinger (Honeywell), Charles B. Weinstock

This document provides vocabulary, discusses system failure, describes mechanisms for making systems fault tolerant, and provides rules for developing fault tolerant systems.

December 1991 - Technical Report Durra: A Task-Level Description Language Reference Manual (Version 3)

Authors: Mario R. Barbacci, Dennis N. Doubleday, Michael J. Gardner, Randall W. Lichota, Charles B. Weinstock

This 1991 report describes the Durra language and incorporates the language changes introduced as a result of our experiences writing application descriptions in Durra.

December 1991 - Technical Report A Description of Cluster Code Generated by the Durra Compiler

Authors: Dennis N. Doubleday, Michael J. Gardner, Charles B. Weinstock

This document is intended to help Durra application developers acquire an understanding of the concepts necessary to beeffective Durra application debuggers.

December 1991 - Technical Report Building Distributed ADA Applications from Specifications and Functional Components

Authors: Dennis N. Doubleday, Mario R. Barbacci, Charles B. Weinstock, Michael J. Gardner, Randall W. Lichota

This report describes Durra, a language and support environment for the specification and execution of distributed Ada applications.

October 1991 - Special Report Fault Tolerant Systems Practitioner's Workshop June 10-11, 1991

Topics: Performance and Dependability

Authors: Walter Heimerdinger (Honeywell), Charles B. Weinstock

This 1991 report summarizes workshop discussions about state of the practice in fault tolerant systems and barriers to the deployment of fault tolerant systems.

September 1991 - Technical Report Durra: An Integrated Approach to Software Specification, Modeling, and Rapid Prototyping

Authors: Mario R. Barbacci, Dennis N. Doubleday, Charles B. Weinstock, Randall W. Lichota

This 1991 paper discusses the relationship between software specification, modeling and prototyping activities as part of a real-time system development strategy.

December 1989 - Special Report Recommendations from the AIA/SEI Workshop on Research Advances Required for Real-Time Software Systems in the 1990s

Authors: William Sweet, Michael J. Gagliardi, Mark H. Klein, Reed Little, Roger Van Scoy, Robert Veltre, Charles B. Weinstock

This report summarizes the discussions held at a 1989 workshop to facilitate communication between implementers of future software-critical large systems and those who sponsor or perform software-related research.

September 1989 - Technical Report Durra: A Task-Level Description Language User's Manual

Authors: Mario R. Barbacci, Dennis N. Doubleday, Charles B. Weinstock

This manual is for users of the Durra compiler, runtime system, and support tools.

February 1989 - Technical Report Performance and Reliability Enhancement of the Durra Runtime Environment

Topics: Performance and Dependability

Authors: Charles B. Weinstock

This 1989 report describes a new design for the Durra runtime environment that addresses these two issues.

February 1989 - Technical Report Command, Control, Communications, and Intelligence Node: A Durra Application Example

Authors: Mario R. Barbacci, Dennis N. Doubleday, Charles B. Weinstock

This report describes an experiment in implementing a command, control, communications and intelligence (C3I) node using reusable components.

July 1988 - Technical Report The Durra Runtime Environment

Authors: Mario R. Barbacci, Dennis N. Doubleday, Charles B. Weinstock

This 1988 report describes the Durra Runtime Environment for Durra, a language designed to support PMS-level programming.