Modern aircraft—both piloted fly-by-wire commercial aircraft as well as UAVs—more and more depend on highly complex safety critical software systems with many sensors and computer-controlled actuators. Despite careful design and V&V of the software, severe incidents have happened due to malfunctioning software. In this paper, we discuss the use of Bayesian networks to monitor the health of the on-board software and sensor system, and to perform advanced on-board diagnostic reasoning. We focus on the development of reliable and robust health models for combined software and sensor systems, with application to guidance, navigation, and control (GN&C). Our Bayesian network-based approach is illustrated for a simplified GN&C system implemented using the open source real-time operating system OSEK/Trampoline. We show, using scenarios with injected faults, that our approach is able to detect and diagnose faults in software and sensor systems.
How to Cite
software health management, Bayes network, aircraft systems
Chavira, M., & Darwiche, A. (2007). Compiling Bayesian Networks Using Variable Elimination. In Proceedings of the Twentieth International Joint Conference on Ar- tificial Intelligence (IJCAI-07) (p. 2443-2449). Hyder- abad, India.
Darwiche, A. (2001). Recursive conditioning. Artificial Intelligence, 126(1-2), 5-41.
Darwiche, A. (2003). A Differential Approach to Inference in Bayesian Networks. Journal of the ACM, 50(3), 280– 305.
Darwiche, A. (2009). Modeling and Reasoning with Bayesian Networks. Cambridge, UK: Cambridge University Press.
Jensen, F. V., Lauritzen, S. L., & Olesen, K. G. (1990). Bayesian Updating in Causal Probabilistic Networks by Local Computations. SIAM Journal on Computing, 4, 269–282.
Lauritzen, S., & Spiegelhalter, D. J. (1988). Local computations with probabilities on graphical structures and their application to expert systems (with discussion). Journal of the Royal Statistical Society series B, 50(2), 157– 224.
Li, Z., & D’Ambrosio, B. (1994). Efficient Inference in Bayes Nets as a Combinatorial Optimization Problem. International Journal of Approximate Reasoning, 11(1), 55– 81.
Mengshoel, O. J. (2007). Designing Resource-Bounded Reasoners using Bayesian Networks: System Health Monitoring and Diagnosis. In Proceedings of the 18th International Workshop on Principles of Diagnosis (DX-07) (pp. 330–337). Nashville, TN.
Mengshoel, O. J., Chavira, M., Cascio, K., Poll, S., Darwiche, A., & Uckun, S. (2010). Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study. IEEE Trans. on Systems, Man, and Cybernetics, 40(5), 874-855.
Musliner, D., Hendler, J., Agrawala, A. K., Durfee, E., Stros- nider, J. K., & Paul, C. J. (1995, January). The Chal- lenges of Real-Time AI. IEEE Computer, 28, 58–66. Available from citeseer.comp.nus.edu.sg/ article/musliner95challenges.html
Pearl, J. (1988). Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. San Mateo, CA: Morgan Kaufmann.
Poll, S., Patterson-Hine, A., Camisa, J., Garcia, D., Hall, D., Lee, C., et al. (2007). Advanced Diagnostics and Prognostics Testbed. In Proceedings of the 18th International Workshop on Principles of Diagnosis (DX-07) (pp. 178–185). Nashville, TN.
Ricks, B. W., & Mengshoel, O. J. (2009). Methods for Probabilistic Fault Diagnosis: An Electrical Power System Case Study. In Proc. of Annual Conference of the PHM Society, 2009 (PHM-09). San Diego, CA.
Ricks, B. W., & Mengshoel, O. J. (2010). Diagnosing Intermittent and Persistent Faults using Static Bayesian Networks. In Proc. of the 21st International Workshop on Principles of Diagnosis (DX-10). Portland, OR.
Schumann, J., Mengshoel, O., & Mbaya, T. (2011). Integrated Software and Sensor Health Management for Small Spacecraft. In Proc. SMC-IT. IEEE.
Shenoy, P. P. (1989). A valuation-based language for expert systems. International Journal of Approximate Reasoning, 5(3), 383–411.
Zhang, N. L., & Poole, D. (1996). Exploiting Causal Independence in Bayesian Network Inference. Journal of Artificial Intelligence Research, 5, 301- 328. Available from citeseer.nj.nec.com/ article/zhang96exploiting.html
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.