A Parallel Design Tool for the Automated Life Testing and Analysis of Dependable Computing Systems

Award Information
Agency:
Department of Defense
Branch:
Air Force
Amount:
$79,119.00
Award Year:
1995
Program:
SBIR
Phase:
Phase I
Contract:
N/A
Agency Tracking Number:
27988
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Reliable Computer Technology
P.o. Box 9307, College Station, TX, 77842
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
N/A
Principal Investigator
 Gavin Holland
 (409) 694-2152
Business Contact
Phone: () -
Research Institution
N/A
Abstract
The primary objective of this Phase I research is to develop a tool for evaluating the dependability of fault-tolerant computing systems. Dependability has traditionally been evaluated through combinatorial and Markov modeling. These analytical techniques have several limitations which can restrict their applicability. Simulation avoids many of the limitations, allowing for more precise representation of system attributes than feasible with analytical modeling. However, the computational demands of simulating a system in detail, at a low abstraction level, currently prohibit evaluation of high level dependability metrics such as reliability and availability. The new approach abstracts a system at the architectural level, and employs life testing though simulated fault-injection to accurately and efficiently measure dependability. Based on an existing tool, called the REliable Architecture Characterization Tool (REACT), the new tool will incorporate parallelism and variance reduction techniques to reduce execution time and enable the affordable analysis of computing systems with ultrahigh reliabilities (R(t)>1 - 10 -9).

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government