04-20-2018 | Kristin Rozier: Multi-Platform, Multi-Architecture Runtime Verification for Autonomous Systems

Title: Multi-Platform, Multi-Architecture Runtime Verification for Autonomous Systems

Speaker: Kristin Yvonne Rozier, Laboratory Head for Temporal Logic in Aerospace, Iowa State University

Date: Friday, April 20, 2018

Time: 10:45am

Location: NIA, Room 137

System Health Management (SHM) is becoming critical to the deployment of a wide range of systems, including aircraft, spacecraft, satellites, and rovers. The most useful, important, and safety-critical jobs will require these systems to operate both intelligently and autonomously, with the ability to sense and respond to both nominal and off-nominal conditions. It is essential that we enable reasoning sufficient to detect critical failures on-board; as failure without warning may harm people, cause considerable property damage, or impact a fragile environment. We are challenged by the constraints of real-life embedded operation that limit the system instrumentation, space, timing, power, weight, cost, and other operating conditions of on-board, runtime SHM.
The Realizable, Responsive, Unobtrusive Unit (R2U2) analyzes specifications that combine temporal logics with probabilistic reasoning to provide formal assurances during runtime, enabling self-assessment of critical systems. Our goal is to enable intelligent autonomous operation through reliable diagnostics and prognostics while running aboard limited hardware and software, without affecting flight-certifiability.

This presentation covers preliminary work from the NASA Early Career Faculty proposal. We highlight recent advances in SHM with R2U2, including adapting R2U2 for Robonaut2, whose leg joint arrived at ISU in January, 2018. We address challenges of realistic SHM specifications and look toward the future, asking the question, how do we proceed safely from here?

Professor Kristin Yvonne Rozier heads the Laboratory for Temporal Logic in Aerospace Engineering at Iowa State University; previously she spentĀ 14 years as a Research Scientist at NASA and three semesters as an Assistant Professor at the University of Cincinnati. She earned her Ph.D. from Rice University and B.S. and M.S. degrees from The College of William and Mary. Her advances in computation for the aerospace domain earned her many awards including: the NSF CAREER Award; the NASA Early Career Faculty Award; American Helicopter Society’s Howard Hughes Award; Women in Aerospace Inaugural Initiative-Inspiration-Impact Award; two NASA Group Achievement Awards; two NASA Superior Accomplishment Awards; Lockheed Martin Space Operations Lightning Award; AIAA’s Intelligent Systems Distinguished Service Award. She is an Associate Fellow of AIAA and a Senior Member of IEEE, ACM, and SWE. Dr. Rozier serves on the AIAA Intelligent Systems Technical Committee, where she chairs the Professional Development, Education, and Outreach subcommittee. She has served on the NASA Formal Methods Symposium Steering Committee since working to found that conference in 2008.