Lockheed Martin Robotics Seminar
From Unmanned Aerial Systems to Robonaut2: On-board Runtime Reasoning in Air and Space
Kristin Yvonne Rozier
Department of Aerospace Engineering and
Iowa State University
Runtime Verification (RV) has become critical to the deployment of a wide range of systems, including aircraft, spacecraft, satellites, rovers, and robots. 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 verification. While the research area of RV is vast, there is a dearth of RV tools that can operatie within these constraints, and without violating, e.g., FAA rules for flight certification.
NSF CAREER Award winner and recipient of the Inaugural Initiative-Inspiration-Impact Award from Women in Aerospace, Kristin Yvonne Rozier joined the faculty of the Aerospace Engineering and Computer Science Departments in Fall, 2016. Previous to that, she spent three semesters at the University of Cincinnati (2015-2016) and 14 years as a Research Scientist at NASA, holding civil service positions at NASA Ames Research Center (2008-2014) and NASA Langley Research Center (2001-2008).
Rozier earned her PhD at Rice University and MS and BS degrees from the College of William and Mary. During her tenure at NASA, she contributed research to the Aeroacoustics, and Safety-Critial Avionics groups at NASA Langley and to the Robust Software Engineering, and Discovery and Systems Health groups in the Intelligent Systems Division at NASA Ames. She has served on the NASA Formal Methods Symposium Steering Committee since working to found that conference in 2008.
Most recently, Rozier was a primary contributing researcher to the Next Generation Air Transportation System (NextGen) Air Traffic Management project of the Airspace Systems Program at NASA. She also served as Principal Investigator of an ARMD Seedling project advancing System and Safety Health Management for Unmanned Aerial Systems (UAS). Select the following link for Roziers NASA Ames presentation: “Dr. Kristin Yvonne Rozier – No More Helicopter Parenting: Intelligent, Autonomous UAS.” Rozier is an Associate Fellow of AIAA and a Senior Member of IEEE and SWE.