A Tool Chain for the V&V of NASA Cryogenic Fuel Loading Health Management

Johann Schumann, Vanesa Gomez-Gonzalez, Nagabhushan Mahadevan, Michael Lowry, Peter Robinson, and Gabor Karsai
Submission Type: 
Full Paper
phmc_14_023.pdf1.11 MBSeptember 18, 2014 - 1:11pm

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&V). In this paper, we present a tool to support V&V of system health models that have been developed using TEAMS. Our tool has been developed around the paradigms of cross validation, where diagnosis results of the TEAMS model are compared with results 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 this tool architecture on a case study using the NASA cryogenic fuel loading facility.

Publication Year: 
Publication Volume: 
Publication Control Number: 
Page Count: 
Submission Keywords: 
verification and validation
cryogenic fuel
parametric model analysis
Submission Topic Areas: 
Verification and validation
Submitted by: 

follow us

PHM Society on Facebook Follow PHM Society on Twitter PHM Society on LinkedIn PHM Society RSS News Feed