Model-Based Assurance of Diagnostic Procedures for Complex Systems
Verifying diagnostic procedures for complex systems is hard and labor-intensive. Usually this verification is accomplished primarily through extensive review of the procedures by experts. We aim to augment this review process by using insights from comparing the diagnostic steps described in the procedural definitions with diagnostics information derived from existing models of the system. These comparisons offer various conformance checks between the manually developed diagnostic procedures and the diagnostic trees auto- generated from the diagnostic system models. We previously described our DTV (Diagnostic Tree for Verification) technique based on these comparisons. This paper describes an extension to DTV, and reports results of an application of DTV to a representative system’s diagnostic procedures. Specifically, it outlines four analyses (branch analysis, root cause coverage, path verification, and efficiency) that can be performed using DTV; illustrates the process for applying DTV; and reports results from our application of DTV to assure fifteen of the procedures developed for diagnosing problems in an electrical power system testbed for spacecraft.
How to Cite
Button R.M. and A. Chicatelli, (2005), Electrical Power System Health Management, In Proc. 1st International Forum on Integrated System Health Engineering and Management in Aerospace, Napa, CA.
Deb, S., Pattipati, K.R., Raghavan, V., Shakeri, M., Shrestha, R., (1995), Multisignal flow graphs: a novel approach for system testability analysis and fault diagnosis, IEEE Aerospace and Electronics Systems Magazine, Vol.10, No. 5, pp. 14 -25.
Frank G., (2008), Automation for Operations, Proceedings of AIAA SP ACE Conference and Exposition, San Diego, California.
Hayashi, M., U. Ravinder, B.Beutter, R. S. McCann, L. Spirkovska and F. Renema, (2008), Operator Performance Evaluation of Fault Management Interfaces for Next-Generation Spacecraft, In Proc. of the 38th International Conference on Environmental Systems.
Kortenkamp, D., R. Peter Bonasso and D. Schreckenghost, (2007), Developing and Executing Goal-Based, Adjustably Autonomous Procedures, in Proceedings of the AIAA InfoTech@Aerospace Conference .
Kurtoglu, T., R. Lutz and A. Patterson-Hine, (2009), Towards Verification of Operational Procedures using Auto-Generated Diagnostic Trees, in Proc. of the Annual Conference of the Prognostics and Health Management Society.
LTSA, (2008), http://www.doc.ic.ac.uk/ltsa/eclipse/.
McCann, R., Beutter, B. R., Matessa, M., McCandless, J. W., Spirkovska, L., Liston, D., Hayashi,M., Ravinder, U., Elkins, S., Renema, F., Lawrence,R., & Hamilton, A., (2006), Description and Evaluation of a Real-time Fault Management Concept for Next-generation Space Vehicles, Internal Report to Johnson Space Center.
Patterson-Hine, A., Narasimhan, S., Aaseng, G., Biswas, G., Pattipati, K., (2005), A Review of Diagnostic Techniques for ISHM Applications., in 1st Integrated Systems Health Engineering and Management Forum. Napa, CA.
Poll S., A. Patterson-Hine, J. Camisa, D. Garcia, D.Hall, C. Lee, O. J. Mengshoel, C. Neukom, D. Nishikawa, J. Ossenfort, A. Sweet, S. Yentus, I. Roychoudhury, M. Daigle, G. Biswas, and X. Koutsoukos, (2007), Advanced Diagnostics and Prognostics Testbed, In Proc. of the 18th International Workshop on Principles of Diagnosis (DX-07), Nashville, TN.
Polyspace, (2008), http://www.polyspace.com
QSI, Testability Engineering and Maintenance System (TEAMS) Tool, www.teamsqsi.com.
Verma, V., V. Baskaran, H. Utz, R. Harris and C. Fry,(2008), Demonstration of Robust Execution on a NASA Lunar Rover Testbed, In Proc. of International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS).
Visser W., K. Havelund, G. Brat, S. Park and F. Lerda. (2003), Model Checking Programs., In the Automated Software Engineering Journal, Vol. 10, number 2, April 2003.
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.