DocumentCode
1473210
Title
Verification and Validation of Hierarchical Fault Diagnosis in Satellites Formation Flight
Author
Barua, Amitabh ; Khorasani, K.
Author_Institution
Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, QC, Canada
Volume
42
Issue
6
fYear
2012
Firstpage
1384
Lastpage
1399
Abstract
It is well known that for long-duration space missions, there is growing need for efficient utilization of telemetry data to enhance diagnostic performance and assist the less-experienced personnel in performing monitoring and diagnosis tasks. To address this need, we have, recently, developed a systematic and transparent fault diagnosis methodology within a hierarchical fault diagnosis framework for satellites formation flight. We developed our proposed hierarchical decomposition framework through a novel Bayesian network-based model, namely component dependence model (CDM). In this paper, we investigate the verification and validation of the CDM for fault diagnosis in satellites formation flight. We propose and develop a sensitivity analysis to verify the CDM by taking advantage of our systematic CDM development methodology. The proposed verification method satisfies the unique requirement of identifying CDM sensitivity when diagnostic performances of the algorithms that are deployed at one or more nodes of the CDM change. This implies that our verification approach and analysis are different from traditional sensitivity analysis that uses proportional scaling which is not applicable to the CDM methodology. Furthermore, in such analysis, a change in the model parameters under consideration is, typically, due to a change in the subjective judgment of an expert whose opinion is used in model development as opposed to the changes due to diagnostic performance variations. We demonstrate the proposed verification approach by using synthetic formation flight data, and show that our CDM development method does not lead to a fault diagnosis model that is sensitive to small variation in its parameters.
Keywords
aerospace computing; belief networks; fault diagnosis; formal verification; space vehicles; Bayesian network-based model; CDM sensitivity; component dependence model; diagnosis task; diagnostic performance; fault diagnosis methodology; hierarchical decomposition framework; hierarchical fault diagnosis framework; long-duration space mission; model parameter; monitoring task; satellites formation flight; sensitivity analysis; spacecraft formation flight; synthetic formation flight data; systematic CDM development methodology; telemetry data; validation; verification method; Bayesian methods; Data models; Fault diagnosis; Satellites; Sensitivity analysis; Systematics; Telemetry; Bayesian networks (BNs); decision support systems; fault diagnosis; model-based reasoning; spacecraft formation flight; verification and validation (V&V);
fLanguage
English
Journal_Title
Systems, Man, and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on
Publisher
ieee
ISSN
1094-6977
Type
jour
DOI
10.1109/TSMCC.2012.2187188
Filename
6171869
Link To Document