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


Publication Date

Showing 1 - 10 of 145 results for the Performance and Dependability

Technical Note | May 2004 - Technical Note Dependability Cases By 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.

White Paper | April 2009 - White Paper Evaluating Hazard Mitigations with Dependability Cases By 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.

Technical Note | July 2007 - Technical Note Dependability Modeling with the Architecture Analysis & ... By Peter H. Feiler, Ana Rugina

This 2007 report explains the capabilities of the Error Model Annex and provides guidance on the use of the AADL and the error model in modeling dependability aspects of embedded system architectures.

Special Report | July 1997 - Special Report A Perspective on the State of Research in Fault-Tolerant ... By 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.

Brochure | March 2009 - Brochure Engineering Performance-Critical Systems

Does your process ensure adherence to specified dependability requirements?

Brochure | March 2009 - Brochure Assurance for Software-Reliant Systems

This information sheet describes SEI research into using the assurance case method to document and predict the dependability of a system where it is infeasible or too costly to depend only on testing.

Technical Note | February 2006 - Technical Note The Architecture Analysis & Design Language (AADL): An ... By Peter H. Feiler, David P. Gluch, John J. Hudak

This 2006 report provides an introduction to the AADL, a modeling language that supports early and repeated analyses of a system's architecture with respect to performance-critical properties.

Technical Report | February 1992 - Technical Report A Conceptual Framework for System Fault Tolerance By 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.

Technical Report | March 1996 - Technical Report An Architectural Description of the Simplex Architecture By 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.

Technical Report | October 2016 - Technical Report Definition and Measurement of Complexity in the Context of ... By Sarah Sheard, Michael D. Konrad, Charles B. Weinstock, William Nichols

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.