Model-Based Assurance of Diagnostic Procedures for Complex Systems



Tolga Kurtoglu Robyn Lutz Martin S. Feather


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

Kurtoglu, T. ., Lutz, R. ., & S. Feather, M. . (2010). Model-Based Assurance of Diagnostic Procedures for Complex Systems. Annual Conference of the PHM Society, 2(1).
Abstract 15 | PDF Downloads 12




Brat, G., M. Gherorghiu, D. Giannakopouluo, C.Pasareanu,(2008), Verification of Plans and Procedures in Proceedings of IEEE Aerospace Conference.

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),

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),

QSI, Testability Engineering and Maintenance System (TEAMS) Tool,

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.
Technical Papers