A Tool Chain for the V and V of NASA Cryogenic Fuel Loading Health Management
Abstract
Complex machinery like spacecraft, aircraft, or chemical plants are equipped with fault detection and diagnosis systems. Due to their safety-critical nature, such diagnosis systems have to undergo rigorous Verification and Validation(V and V). In this paper, we present a tool suite to facilitate V and V of the deployed diagnostic system. The V and V relies on the paradigms of cross validation (to compare the diagnosis results of the deployed reasoner against those of other, more advanced reasoners), automatic fault scenario generation (to support extensive testing and coverage analysis), and parametric model analysis (to enrich test sets and for robustness and sensitivity analysis). We present the application of this tool architecture towards the V and V of the diagnosis system based on the TEAMS tool suite towards a subsystem in the NASA cryogenic fuel loading facility.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 02, 2014
- Accession Number
- AD1002406
Entities
People
- Gabor Karsai
- Johann Schumann
- Michael Lowry
- Nagabhushan Mahadevan
- Peter Robinson
- Vanesa Gomez-gonzalez