Charles B. Weinstock
Software Engineering Institute
Publications by Charles B. Weinstock
-
Using Confidence Maps
April 23, 2019 • Video
Charles B. Weinstock
Chuck Weinstock introduces confidence maps and explains how they work to determine how much confidence someone can have in a claim.
watch -
Measuring Complexity for System Safety Assurance
March 23, 2017 • Presentation
Sarah SheardMichael D. KonradWilliam Nichols
This presentation describes a two-year research effort to define complexity measures for avionics systems in order to help the FAA identify when systems are too complex to assure their safety.
read -
FAA Research Project on System Complexity Effects on Aircraft Safety: Testing the Identified Metrics
November 30, 2016 • White Paper
Michael D. KonradSarah SheardCharles B. Weinstock
This report describes a test of an algorithm for estimating the complexity of a safety argument.
read -
FAA Research Project on System Complexity Effects on Aircraft Safety: Estimating Complexity of a Safety Argument
November 30, 2016 • White Paper
Michael D. KonradSarah SheardCharles B. Weinstock
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.
read -
FAA Research Project on System Complexity Effects on Aircraft Safety: Identifying the Impact of Complexity on Safety
November 30, 2016 • White Paper
Sarah SheardCharles B. WeinstockMichael D. Konrad
This report organizes our work on the impact of software complexity on aircraft safety by asking, “How can complexity complicate safety and, thus, certification?”
read -
Assurance Cases and Confidence
November 17, 2016 • Presentation
Charles B. Weinstock
This talk on assurance cases and confidence was presented at the IEEE Invitational Workshop to Create a Building-Code for Power System Software Security.
read -
Definition and Measurement of Complexity in the Context of Safety Assurance
October 27, 2016 • Technical Report
Sarah SheardMichael D. KonradCharles B. Weinstock
This report describes research to define complexity measures for avionics systems to help the FAA identify when systems are too complex to assure their safety.
read -
Improving Quality Using Architecture Fault Analysis with Confidence Arguments
March 10, 2015 • Technical Report
Peter H. FeilerCharles B. WeinstockJohn B. Goodenough
The case study shows that by combining an analytical approach with confidence maps, we can present a structured argument that system requirements have been met and problems in the design have been addressed adequately.
read -
Eliminative Argumentation: A Basis for Arguing Confidence in System Properties
February 25, 2015 • Technical Report
John B. GoodenoughCharles B. WeinstockAri Z. Klein
This report defines the concept of eliminative argumentation and provides a basis for assessing how much confidence one should have in an assurance case argument.
read -
Software Assurance Cases
January 16, 2014 • Podcast
Charles (Chuck) WeinstockSuzanne Miller
In this podcast, Charles Weinstock introduces assurance cases and how they can be used to assure safety, security, and reliability.
learn more -
Evidence of Assurance: Laying the Foundation for a Credible Security Case
August 07, 2013 • White Paper
Charles B. WeinstockHoward F. Lipson
In this paper, the authors provide examples of several of the kinds of evidence that can contribute to a security case.
read -
Arguing Security - Creating Security Assurance Cases
July 05, 2013 • White Paper
Charles B. WeinstockHoward F. LipsonJohn B. Goodenough
In this paper, the authors explain an approach to documenting an assurance case for system security.
read -
Four Pillars for Improving the Quality of Safety-Critical Software-Reliant Systems
April 29, 2013 • White Paper
Peter H. FeilerJohn B. GoodenoughArie Gurfinkel
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.
read -
Eliminative Induction: A Basis for Arguing System Confidence
March 20, 2013 • Conference Paper
John B. GoodenoughCharles B. WeinstockAri 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.
read -
Measuring Assurance Case Confidence using Baconian Probabilities
March 01, 2013 • Conference Paper
John B. GoodenoughAri Z. KleinCharles 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.
read -
Reliability Improvement and Validation Framework
November 01, 2012 • Special Report
Peter H. FeilerJohn B. GoodenoughArie Gurfinkel
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.
read -
Toward a Theory of Assurance Case Confidence
September 01, 2012 • Technical Report
John B. GoodenoughCharles B. WeinstockAri Z. Klein
In this report, the authors present a framework for thinking about confidence in assurance case arguments.
read -
Results of SEI Independent Research and Development Projects (FY 2010)
February 01, 2011 • Technical Report
William AndersonDavid FisherDavid P. Gluch
This report describes results of independent research and development (IRAD) projects undertaken in fiscal year 2010.
read -
Evaluating and Mitigating Software Supply Chain Security Risks
May 01, 2010 • Technical Note
Robert J. EllisonJohn B. GoodenoughCharles B. Weinstock
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.
read -
Towards an Assurance Case Practice for Medical Devices
October 01, 2009 • Technical Note
Charles B. WeinstockJohn B. Goodenough
In this report, the authors explore how to enable manufacturers and federal regulators gain confidence in software-dominated medical devices.
read -
Results of SEI Independent Research and Development Projects (FY 2008)
December 01, 2008 • Technical Report
Dionisio de NizGabriel MorenoRobert Nord
This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2008 (October 2007 through September 2008).
read -
Survivability Assurance for System of Systems
May 01, 2008 • Technical Report
Robert J. EllisonJohn B. GoodenoughCharles B. Weinstock
In this report, the authors describe the Survivability Analysis Framework, a structured view of people, process, and technology.
read -
On System Scalability
March 01, 2006 • Technical Note
Charles B. WeinstockJohn 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.
read -
Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)
December 01, 2005 • Technical Report
Rosann W. CollinsRick KazmanRichard C. Linger (Oak Ridge National Laboratory)
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.
read -
Dependability Cases
May 01, 2004 • Technical Note
Charles B. WeinstockJohn B. GoodenoughJohn 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.
read -
Quality Attribute Workshops (QAWs), Third Edition
October 01, 2003 • Technical Report
Mario R. BarbacciRobert J. EllisonAnthony J. Lattanze
This report describes the newly revised QAW (Quality Attribute Workshop) and describes potential uses of the refined scenarios generated during it.
read -
Model-Based Verification: Abstraction Guidelines
October 01, 2002 • Technical Note
John J. HudakSantiago Comella-DordaDavid P. Gluch
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.
read -
Model-Based Verification: An Engineering Practice
August 01, 2002 • Technical Report
David P. GluchSantiago Comella-DordaJohn J. Hudak
This 2002 report summarizes MBV and outlines the responsibilities of engineers engaged in Model-Based Verification.
read -
Quality Attribute Workshops, 2nd Edition
June 01, 2002 • Technical Report
Mario R. BarbacciRobert J. EllisonAnthony J. Lattanze
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.
read -
Model-Based Verification: Guidelines for Generating Expected Properties
January 01, 2002 • Technical Note
David P. GluchSantiago Comella-DordaJohn J. Hudak
This report presents a basic set of guidelines to facilitate the generation of expected properties in the context of Model-Based Verification.
read -
Model-Based Verification: Analysis Guidelines
December 01, 2001 • Technical Note
Grace LewisSantiago Comella-DordaDavid P. Gluch
This technical note provides guidance for the analysis activity that occurs during the interpretation of results produced by model-checking tools.
read -
Perspectives on Open Source Software
November 01, 2001 • Technical Report
Scott HissamCharles B. WeinstockDaniel Plakosh
This 2001 report summarizes the results of a study of the benefits of pitfalls of using open source software.
read -
Framework Document: Model-Based Verification Pilot Study
October 01, 2001 • Special Report
David P. GluchJohn J. HudakRobert Janousek
This 2001 document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of MBV.
read -
Model-Based Verification: Claim Creation Guidelines
October 01, 2001 • Technical Note
Santiago Comella-DordaDavid P. GluchJohn J. Hudak
This 2001 report describes a pattern-based approach to facilitate claim generation.
read -
Model-Based Verification: Scope, Formalism, and Perspective Guidelines
October 01, 2001 • Technical Note
David P. GluchSantiago Comella-DordaJohn J. Hudak
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.
read -
Quality Attribute Workshops
May 01, 2001 • Technical Report
Mario R. BarbacciRobert J. EllisonJudith A. Stafford
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.
read -
Quality Attribute Workshop Participants Handbook
January 01, 2000 • Special Report
Mario R. BarbacciRobert J. EllisonCharles B. Weinstock
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.
read -
Simplex in a Hostile Communications Environment: The Coordinated Prototype
August 01, 1999 • Technical Report
Neal AltmanCharles B. WeinstockLui R. Sha
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.
read -
Model-Based Verification: A Technology for Dependable Upgrade
September 01, 1998 • Technical Report
David P. GluchCharles B. Weinstock
This 1998 report outlines the technological foundations of model-based verification for engineering software system upgrades.
read -
Mapping MetaH into ACME
July 01, 1998 • Special Report
Mario R. BarbacciCharles B. Weinstock
This 1998 report explores the translation of MetaH into ACME.
read -
Steps in an Architecture Tradeoff Analysis Method: Quality Attribute Models and Analysis
May 01, 1998 • Technical Report
Mario R. BarbacciPeter H. FeilerMark H. Klein
This paper presents some of the steps in an emerging architecture tradeoff analysis method (ATAM).
read -
Workshop on the State of the Practice in Dependably Upgrading Critical Systems
August 01, 1997 • Special Report
David P. GluchCharles 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.
read -
A Perspective on the State of Research in Fault-Tolerant Systems
July 01, 1997 • Special Report
Charles B. WeinstockDavid 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.
read -
Principles for Evaluating the Quality Attributes of a Software Architecture
May 01, 1997 • Technical Report
Mario R. BarbacciMark H. KleinCharles B. Weinstock
This report describes a few principles for analyzing a software architecture to determine if it exhibits certain quality attributes.
read -
An Architectural Description of the Simplex Architecture
March 01, 1996 • Technical Report
JoseGermanRiveraAlejandroAndresDanylyszynCharles B. Weinstock
This report describes SEI-developed Simplex, a software architecture for dependable and evolvable process-control systems.
read -
Quality Attributes
December 01, 1995 • Technical Report
Mario R. BarbacciMark H. KleinThomas A. Longstaff
This report describes efforts to develop a unifying approach for reasoning about multiple software quality attributes.
read -
Dependable Software Technology Exchange
June 01, 1993 • Special Report
Charles B. WeinstockFred Schneider
This report summarizes the discussions at the 1993 Dependable Software Technology Exchange meeting.
read -
A Conceptual Framework for System Fault Tolerance
February 01, 1992 • Technical Report
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.
read -
Durra: A Task-Level Description Language Reference Manual (Version 3)
December 01, 1991 • Technical Report
Mario R. BarbacciDennis N. DoubledayMichael J. Gardner
This 1991 report describes the Durra language and incorporates the language changes introduced as a result of our experiences writing application descriptions in Durra.
read -
A Description of Cluster Code Generated by the Durra Compiler
December 01, 1991 • Technical Report
Dennis N. DoubledayMichael J. GardnerCharles B. Weinstock
This document helps Durra application developers acquire an understanding of the concepts necessary to be effective Durra application debuggers.
read -
Building Distributed ADA Applications from Specifications and Functional Components
December 01, 1991 • Technical Report
Dennis N. DoubledayMario R. BarbacciCharles B. Weinstock
This report describes Durra, a language and support environment for the specification and execution of distributed Ada applications.
read -
Fault Tolerant Systems Practitioner's Workshop June 10-11, 1991
October 01, 1991 • Special Report
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.
read -
Durra: An Integrated Approach to Software Specification, Modeling, and Rapid Prototyping
September 01, 1991 • Technical Report
Mario R. BarbacciDennis N. DoubledayCharles B. Weinstock
This 1991 paper discusses the relationship between software specification, modeling and prototyping activities as part of a real-time system development strategy.
read -
Recommendations from the AIA/SEI Workshop on Research Advances Required for Real-Time Software Systems in the 1990s
December 01, 1989 • Special Report
William SweetMichael J. GagliardiMark H. Klein
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.
read -
Durra: A Task-Level Description Language User's Manual
September 01, 1989 • Technical Report
Mario R. BarbacciDennis N. DoubledayCharles B. Weinstock
This manual is for users of the Durra compiler, runtime system, and support tools.
read -
Performance and Reliability Enhancement of the Durra Runtime Environment
February 01, 1989 • Technical Report
Charles B. Weinstock
This 1989 report describes a new design for the Durra runtime environment that addresses these two issues.
read -
Command, Control, Communications, and Intelligence Node: A Durra Application Example
February 01, 1989 • Technical Report
Mario R. BarbacciDennis N. DoubledayCharles B. Weinstock
This report describes an experiment in implementing a command, control, communications and intelligence (C3I) node using reusable components.
read -
The Durra Runtime Environment
July 01, 1988 • Technical Report
Mario R. BarbacciDennis N. DoubledayCharles B. Weinstock
This 1988 report describes the Durra Runtime Environment for Durra, a language designed to support PMS-level programming.
read