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

John B. Goodenough
October 2015 - Presentation Assured Design Session Opening Remarks

Authors: John B. Goodenough

Explores a definition of assured design as having justified confidence that a (software-reliant) system design has particular properties

March 2015 - Technical Report Improving Quality Using Architecture Fault Analysis with Confidence Arguments

Topics: Software Architecture

Authors: Peter H. Feiler, Charles B. Weinstock, John B. Goodenough, Julien Delange, Ari Z. Klein, Neil Ernst

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.

February 2015 - Technical Report Eliminative Argumentation: A Basis for Arguing Confidence in System Properties

Topics: Software Architecture, Software Assurance

Authors: John B. Goodenough, Charles B. Weinstock, Ari 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.

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.

May 2011 - White Paper Software Assurance for System of Systems

Topics: Software Assurance, System of Systems

Authors: John B. Goodenough, Linda M. Northrop

In this paper, the authors discuss confidence in system and SoS behavior and how theories can be used to make the assurance process more effective.

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.

March 2010 - Presentation Overview of Distributed Constraint Satisfaction and Optimization

Topics: Ultra-Large-Scale Systems

Authors: Andres Diaz-Pace, Joseph Giampapa, John B. Goodenough, Mark H. Klein

This presentation describes problem-solving algorithms and presents Distributed Constraint Optimization Problems (D-COP) algorithms as a "toolbox" for agent-based modeling.

November 2009 - White Paper System of Systems Software Assurance

Topics: Performance and Dependability, System of Systems

Authors: John B. Goodenough

This white paper describes SEI investigation into ways to provide justified confidence that a system of systems will behave as needed in its actual and evolving usage environments.

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.

April 2009 - White Paper Evaluating Hazard Mitigations with Dependability Cases

Topics: Performance and Dependability, Software Architecture, Software Assurance

Authors: Matthew R. Barry (Software Intensive Systems, Inc.), John B. Goodenough

In this 2009 paper, the authors present an example to show the value a dependability case adds to a traditional hazard analysis.

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 2008 - Presentation ULS Systems Research Roadmap 2008

Topics: Ultra-Large-Scale Systems

Authors: John B. Goodenough

Presentation made at the 2008 SMART Ultra-Large-Scale System Forum, held at Carnegie Mellon University in Pittsburgh, PA.

June 2007 - Presentation ULS Systems Research Roadmap

Topics: Ultra-Large-Scale Systems

Authors: John B. Goodenough

Presented: June 2007

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 1992 - Technical Report ADA Adoption Handbook: A Program Manager's Guide, Version 2.0

Authors: William E. Hefley, John T. Foreman, Chuck Engle Jr., John B. Goodenough

The handbook addresses the advantages and risks in adopting ADA. Significant emphasis has been placed on providing information and suggesting methods that will help program and project managers succeed in using ADA across a broad range of applications.

February 1992 - Technical Report ADA Validation Tests for Rate Monotonic Scheduling Algorithm

Topics: Performance and Dependability

Authors: Keith A. Kohout, Kent Meyer, John B. Goodenough

This report presents a set of tests for checking whether an ADA runtime system properly supports certain rate monotonic scheduling algorithms, specifically, the basic inheritance and priority ceiling protocols.

March 1991 - Technical Report Rate Monotonic Analysis for Real-Time Systems

Topics: Performance and Dependability

Authors: Lui R. Sha, Mark H. Klein, John B. Goodenough

In this report, we review important decisions in the development of RMA. Our experience indicates that technology transition considerations should be embedded in the process of technology development from the start, rather than as an afterthought.

December 1990 - Technical Report Generic Avionics Software Specification

Topics: Performance and Dependability

Authors: Doug Locke, Lee Lucas (Naval Weapons Center), John B. Goodenough

This 1990 report informally specifies the general functions, data interactions, and timing constraints for an avionics mission control computer system typical of those found in some existing U.S. Navy/Marine Corps aircraft.

April 1989 - Technical Report Real-Time Scheduling Theory and ADA

Topics: Performance and Dependability

Authors: Lui R. Sha, John B. Goodenough

This 1989 report reviews important results of a priority-based scheduling theory and discusses implications for the Ada tasking model.

November 1988 - Technical Report Real-Time Scheduling Theory and ADA (1988)

Topics: Performance and Dependability

Authors: Lui R. Sha, John B. Goodenough

This 1988 report reviews results of a priority-based scheduling theory, illustrates its applications with examples, discusses its implications for the Ada tasking model, and suggests workarounds.

November 1988 - Technical Report Mode Change Protocols for Priority-Driven Preemptive Scheduling

Topics: Performance and Dependability

Authors: Lui R. Sha, John B. Goodenough, Ragunathan Rajkumar, Krithi Ramamritham, J. Lehoczky

This 1988 report discusses a protocol for accomplishing mode change in the context of a priority-driven preemptive scheduling environment.

March 1988 - Special Report A Practical Application of the Ceiling Protocol in a Real-Time System

Topics: Performance and Dependability

Authors: Doug Locke, John B. Goodenough

This paper discusses real-time design issues that arise when using the priority ceiling protocol for real-time systems.

March 1988 - Special Report The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority ADA Tasks

Topics: Performance and Dependability

Authors: John B. Goodenough, Lui R. Sha

The priority ceiling protocol is a new technique that addresses the priority inversion problem. Under the priority ceiling protocol, a high priority task can be blocked at most once by a lower priority task.

May 1987 - Technical Report ADA Adoption Handbook

Authors: John T. Foreman, John B. Goodenough

This technical report has been superseded by CMU/SEI-92-TR-029. Please refer to the new page for information about this report.