A Parallel Design Tool for the Automated Life Testing and Analysis of Dependable Computing Systems
Department of Defense
Agency Tracking Number:
Solicitation Topic Code:
Small Business Information
Reliable Computer Technology
P.o. Box 9307, College Station, TX, 77842
Socially and Economically Disadvantaged:
AbstractThe 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.