Thanks ARMD Seedling NASA Early Career Faculty (ECF)

Publication Links
NARI Project Page
TACAS14
RV14
Director's Colloquium
NASA TM Final Report 2015
RV15
RV16
Funding Links
NARI
ARMD Seedling
NASA AOS
NASA ECF

R2U2: Intelligent Hardware-Enabled Sensor and Software Safety and Health Management for Autonomous UAS

Our run-time monitoring of LTL safety specifications with Bayesian reasoning advances flight-certifiable health management on-board Unmanned Aerial Systems!



PIs
  • PI: Kristin Y. Rozier, Iowa State University, Ames, IA 50011, USA
  • PI: Johann Schumann, SGT, Inc., NASA Ames Research Center, Moffett Field, CA 94035, USA

Collaborators
  • Bijan Choobineh, undergraduate research assistant, Iowa State University, Ames, IA, USA
  • Johannes Geist, M.S. research intern, University of Applied Sciences Technikum Wien, Vienna, Austria
  • Corey Ippolito, civil servant, NASA Ames Research Center, Moffett Field, CA, USA
  • Stefan Jaksic, Ph.D. student, University of Applied Sciences Technikum Wien, Vienna, Austria
  • Phillip Jones, Associate Professor, Iowa State University, Ames, IA, USA
  • Chetan S. Kulkarni, Research Engineer, SGT, Inc., NASA Ames Research Center, Moffett Field, CA, USA
  • Eddy Mazmanian, civil servant, NASA Ames Research Center, Moffett Field, CA, USA
  • Patrick Moosbrugger, Ph.D. student, University of Applied Sciences Technikum Wien, Vienna, Austria
  • Quoc-Sang Phan, Ph.D. research intern, Queen Mary University of London, UK
  • Thomas Reinbacher, Ph.D. research intern, Vienna University of Technology, Vienna, Austria
  • Indranil Roychoudhury, Computer Scientist, SGT, Inc., NASA Ames Research Center, Moffett Field, CA, USA
  • Iyal Suresh, sophomore undergraduate intern, University of California, Los Angeles, USA
  • Joseph Zambreno, Assistant Professor, Iowa State University, Ames, IA, USA
  • Pei Zhang, PhD. student, Iowa State University, Ames, IA, USA

The project team has also worked closely with members of the airborne science group at NASA Ames Research Center in Code SG. We would like to give special thanks to Matt Fladeland (ARC/SG), Ric Kolyer (ARC/SG), Bruce Storms (ARC/AOX), and the rest of the Dragon Eye team who we collaborated with for modification and flight testing of the NASA Dragon Eye aircraft systems.

Publications

Seminars
  • NASA Director's Colloquium: K.Y. Rozier: "No More Helicopter Parenting: Intelligent Autonomous Unmanned Aerial Systems." NASA Ames' premier seminar series, the Director's Colloquium, special edition in honor of NASA Ames' 75th Anniversary celebration, by special invitation of the Office of the Chief Scientist. NASA Ames Research Center, Moffett Field, California, June 10, 2014. [Now available on the NASA Ames YouTube Channel under "Dr. Kristin Yvonne Rozier - No More Helicopter Parenting: Intelligent, Autonomous UAS" ]
  • FORTISS Invited Talk: J. Schumann: ``Towards on-board, hardware-supported Sensor and Software Health Management for UAS.'' FORTISS, Technische Universitat Munchen, Germany, June 2014.
  • NARI/ARMD Seedling Technical Seminar: K.Y. Rozier, J. Schumann, C. Ippolito: ``Intelligent Hardware-Enabled Sensor and Software Safety and Health Management for Autonomous UAS'' 2015 NARI LEARN/Seedling Technical Seminar (Final Report), January 13, 2015. [Now available on the NARI Seminar Site ]
  • Rice University Seminar: K.Y. Rozier: ``Runtime Verification for System Health Management: the R2U2 Framework.'' Computer-Aided Verification and Reasoning (CAVR) Seminar, Rice University, October 19, 2016.
  • FSW Talk: K.Y. Rozier: ``R2U2 in Space: System and Software Health Management for Small Satellites.'' Spacecraft Flight Software Workshop (FSW), California Institute of Technology, Pasadena, CA, December 13--15, 2016. [Video available as part of the FSW YouTube]
  • NASA/JPL Mobility and Robotics Seminar: K.Y. Rozier: ``R2U2: Formal System Health Management for Autonomous Systems.'' NASA JPL Mobility and Robotics Section Seminar@198-102, Pasadena, CA, December 16, 2016.
  • NASA STMD ECF: K.Y. Rozier: ``R2U2: Formal System Health Management for Autonomous Systems.'' Verification and Validation of Autonomous Systems Seminar, Johnson Space Center, Houston, TX, May 3, 2017.


Currently supported by a grant from: NASA Early Career Faculty (ECF) Award