Towards Verification of Operational Procedures using Auto-Generated Diagnostic Trees



Published Mar 26, 2021
Tolga Kurtoglu Robyn Lutz Ann Patterson-Hine


The design, development, and operation of complex space, lunar and planetary exploration systems require the development of general procedures that describe a detailed set of instructions capturing how mission tasks are performed. For both crewed and uncrewed NASA systems, mission safety and the accomplishment of the scientific mission objectives are highly dependent on the correctness of procedures. In this paper, we describe how to use auto-generated diagnostic trees from existing diagnostic models to improve the verification of standard operating procedures. Specifically, we introduce a systematic method, namely the Diagnostic Tree for Verification (DTV), developed with the goal of leveraging the information contained within auto-generated diagnostic trees in order to check the correctness of procedures, to streamline the procedures in terms of reducing the number of steps or use of resources in them, and to propose alternative procedural steps adaptive to changing operational conditions. The application of the DTV method to a spacecraft electrical power system shows the feasibility of the approach and its range of capabilities.

How to Cite

Kurtoglu, T. ., Lutz, R. ., & Patterson-Hine, A. . (2021). Towards Verification of Operational Procedures using Auto-Generated Diagnostic Trees. Annual Conference of the PHM Society, 1(1). Retrieved from
Abstract 132 | PDF Downloads 96



diagnosis, diagnostic performance, fault diagnosis, verification and validation

(Brat et al., 2008) Brat, G., M. Gherorghiu, D. Giannakopouluo, C. Pasareanu, “Verification of Plans and Procedures” in Proceedings of IEEE Aerospace Conference, 2008.
(Button and Chicatelli, 2005) Button R.M. and A. Chicatelli, “Electrical Power System Health Management”, In Proc. 1st International Forum on Integrated System Health Engineering and Management in Aerospace, November 2005, Napa, CA.
(Damas et al., 2009) Damas C., B. Lambeau, F. Roucoux and Axel van Lamsweerde, “Analyzing Critical Process Models Through Behavior Model Synthesis”, Proceedings of 31st International Conference on Software Engineering, May 16-24, 2009, Vancouver, Canada.
(Deb et al., 1995) Deb, S., Pattipati, K.R., Raghavan, V., Shakeri, M., Shrestha, R. “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, 1995.
(Frank, 2008). Frank G., “Automation for Operations”, Proceedings of AIAA SPACE Conference and Exposition, September 9-11, 2008, San Diego, California.
(Ghosal and Azam, 2008) Ghosal S., and M. Azam, “Technology Transfer of Contingency Software Process”, Phase III, Final Report, 2008, Qualtech Systems Inc.
(Kortenkamp et al., 2008) Kortenkamp, D., R. Peter Bonasso and D. Schreckenghost, “Developing and Executing Goal-Based, Adjustably Autonomous Procedures,” in proceedings of the AIAA InfoTech@Aerospace Conference 2007.
(LTSA 2008) (Lutz and Patterson-Hine, 2008a) Lutz R. and A. Patterson-Hine, “Tool-Supported Verification of Contingency Design: Poster and Abstract”, NASA SMD/PSD Fault Management Workshop, April 14 –16, 2008, New Orleans, LA.
(Lutz and Patterson-Hine, 2008b) Lutz R., and A.Patterson-Hine, “Using Fault Modeling in Safety Cases”, ISSRE 2008, pp. 271-276.
(Lutz et al., 2008) Lutz, R., A. Patterson-Hine, S.
Nelson, C. Frost, D. Tal, and R. Harris, “Using Obstacle Analysis to Identify Contingency Requirements on an Unpiloted Aerial Vehicle”, Requirements Engineering Journal, 12(1), Jan, 2007, pp. 41-54.
(Lutz et al., 2007) Lutz, R., A. Patterson-Hine, S. Poll, C. Domagala and S. Ghosal, "Tool-Supported Software Contingency Analysis,” 1st International Workshop on Aerospace Software Engineering, in conjunction with 29th International Conference on Software Engineering (ICSE 2007), May 20-21, 2007, Minneapolis, MN.
(McCann et al., 2006) 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. “Description and Evaluation of a Real-time Fault Management Concept for Next-generation Space Vehicles”, 2006, Internal Report to Johnson Space Center.
(Patterson-Hine et al., 2005) Patterson-Hine, A., Narasimhan, S., Aaseng, G., Biswas, G., Pattipati, K., “A Review of Diagnostic Techniques for ISHM Applications.” 1st Integrated Systems Health Engineering and Management Forum. Napa, CA. November 2005.
(Poll et al., 2007) 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, “Advanced Diagnostics and Prognostics Testbed”, In Proc. of the 18th International Workshop on Principles of Diagnosis (DX-07), Nashville, TN, May 2007.
(Polyspace 2008)
(QSI 2009) QSI, Testability Engineering and Maintenance System (TEAMS) Tool,
(Verma et al., 2005). Verma V., T. Estlin, A. Jónsson,
C. Pasareanu, R. Simmons, K. Tso, “Plan Execution Interchange Language (PLEXIL) for Executable Plans and Command Sequences”, International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS), 2005.
(Visser et al., 2003) Visser W., K. Havelund, G. Brat, S. Park and F. Lerda. “Model Checking Programs.” In the Automated Software Engineering Journal, Vol. 10, number 2, April 2003.
Technical Research Papers

Most read articles by the same author(s)