Skip to main content
Presentation
Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems
14th International Conference on Runtime Verification (2014)
  • Johannes Geist, Research Institute for Advanced Computer Science (RIAC)
  • Kristin Y. Rozier, NASA Ames Research Center
  • Johann Schumann, SGT, Inc.
Abstract
Safety-critical systems, like Unmanned Aerial Systems (UAS) that must operate totally autonomously, e.g., to support ground-based emergency services, must also provide assurance they will not endanger human life or property in the air or on the ground. Previously, a theoretical construction for paired synchronous and asynchronous runtime observers with Bayesian reasoning was introduced that demonstrated the ability to handle runtime assurance within the strict operational constraints to which the system must adhere. In this paper, we show how to instantiate and implement temporal logic runtime observers and Bayesian network diagnostic reasoners that use the observers’ outputs, on-board a field-standard Field Programmable Gate Array (FPGA) in a way that satisfies the strict flight operational standards of Realizability, Responsiveness, and Unobtrusiveness. With this type of compositionally constructed diagnostics framework we can develop compact, hierarchical, and highly expressive health management models for efficient, on-board fault detection and system monitoring. We describe an instantiation of our System Health Management (SHM) framework, rt-R2U2, on standard FPGA hardware, which is suitable to be deployed on-board a UAS. We run our system with a full set of real flight data from NASA’s Swift UAS, and highlight a case where our runtime SHM framework would have been able to detect and diagnose a fault from subtle evidence that initially eluded traditional real-time diagnosis procedures.
Publication Date
2014
Location
Toronto, Canada
DOI
10.1007/978-3-319-11164-3_18
Comments
This proceeding is published as Geist, Johannes, Kristin Y. Rozier, and Johann Schumann. "Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems." In: Bonakdarpour B., Smolka S.A. (eds) Runtime Verification. 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014.Lecture Notes in Computer Science, vol. 8734. (2014): 215-230.

Works produced by employees of the U.S. Government as part of their official duties are not copyrighted within the U.S. The content of this document is not copyrighted.
Citation Information
Johannes Geist, Kristin Y. Rozier and Johann Schumann. "Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems" 14th International Conference on Runtime Verification (2014)
Available at: http://works.bepress.com/kristin-yvonne-rozier/12/