You are here

A Novel Approach to Model Based Validation of Fault Tolerant Systems

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: N/A
Agency Tracking Number: 32499
Amount: $99,000.00
Phase: Phase I
Program: SBIR
Solicitation Topic Code: N/A
Solicitation Number: N/A
Solicitation Year: N/A
Award Year: 1996
Award Start Date (Proposal Award Date): N/A
Award End Date (Contract End Date): N/A
Small Business Information
210 Silver Fox Terrace
Yorktown, VA 23693
United States
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Frederick Sheldon
 (804) 868-3930
Business Contact
Phone: () -
Research Institution

This work offers an innovative approach to predicting system behavior (in terms of reliability and performance) based primarily on the structural characteristics of a formal functional specification. The mechanism for process composition is codified in the CSP-to-Stochastic Petri net (CSPN) toll. CSPN supports systematic specification, automatic translation and subsequent augmentation (e.g., failure rates service rates, and transition probabilities) of the resultant Petri nets for assessing stochastic properties of different candidate implementations and relating those properties back to the specification level. This work will further develop and demonstrate specification, analysis and design of dependable, scalable, heterogeneous, fault tolerant embedded (FTE) systems whose mission objectives require high performance and availability. This work also seeks to define (based on emerging research and technology) a set of complimentary techniques (e.g., integrated diagnostics) and formal methods useful for incorporating components that were not necessarily designed to be fault tolerant (e.g., commercial off-the-shelf) into the final design prototype and/or implementation.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government