Showing 1 - 10 of 138 results for the Performance and Dependability
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.
In this 2009 paper, the authors present an example to show the value a dependability case adds to a traditional hazard analysis.
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.
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.
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.
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.
This document provides vocabulary, discusses system failure, describes mechanisms for making systems fault tolerant, and provides rules for developing fault tolerant systems.
This report presents the results of a workshop on real-time systems engineering. The workshop was held as part of the SEI Symposium in Washington, DC, during September 2000.
This report describes how AADL support an instantiation of a reference architecture, address architectural themes, and provide a foundation for the analysis of performance elements and system assurance concerns.
In this report, the authors explore how to enable manufacturers and federal regulators gain confidence in software-dominated medical devices.