Towards Verification of Operational Procedures using Auto-Generated Diagnostic Trees
##plugins.themes.bootstrap3.article.main##
##plugins.themes.bootstrap3.article.sidebar##
Abstract
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
##plugins.themes.bootstrap3.article.details##
diagnosis, diagnostic performance, fault diagnosis, verification and validation
(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) http://www.doc.ic.ac.uk/ltsa/eclipse/. (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) http://www.polyspace.com
(QSI 2009) QSI, Testability Engineering and Maintenance System (TEAMS) Tool, www.teamsqsi.com.
(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.
This work is licensed under a Creative Commons Attribution 3.0 Unported License.
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.