Presented By: Aerospace Engineering
Aerospace Engineering Department Seminar: From Design Time To Run Time: Formal Methods for Ensuring the Safety of Safety-Critical Aerospace Systems
Kristin Yvonne Rozier
Assistant Professor
Iowa State University
2020 has brought a new understanding of the need for automation of safety-critical systems, from Unmanned Aerial Systems (UAS) and their automated control to robots taking over tasks recently done by humans. As the demands for automation increase and the systems we design grow ever-more complex to accommodate advancing technology, a question arises: how do we know we are safe? This talk demonstrates how formal methods are growing increasingly vital for the development of safety-critical aerospace systems, and our ability to ensure safety and security of new designs for the next era in air and space.
We highlight success stories of formally-verified automation, including NASA's automated Air Traffic Management (ATM) system and its equivalent for UAS (UTM). We contribute significant algorithmic advances to launch the design-time verification technique of model checking to new heights. Also, we demonstrate how formal specifications can be carried through to system run time and used to take runtime verification out of this world... all the way to the International Space Station (ISS). Our real-time, Realizable, Responsive, Unobtrusive Unit (R2U2) fills the gap of flight-certifiable reasoning that embeds on constrained safety-critical systems like UAS, satellites, and NASA's humanoid robot Robonaut2 on the ISS. We introduce projects launching in 2020 to further push the boundaries of both design-time and runtime verification, asking the question, how do we proceed safely from here?
About the speaker...
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. Dr. Rozier's research focuses on automated techniques for the formal specification, validation, and verification of safety critical systems. Her primary research interests include: design-time checking of system logic and system requirements; runtime system health management; and safety and security analysis.
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 holds an endowed position as Black & Veatch faculty fellow, is an Associate Fellow of AIAA, and is a Senior Member of IEEE, ACM, and SWE. Dr. Rozier has served on the NASA Formal Methods Symposium Steering Committee since working to found that conference in 2008.
Assistant Professor
Iowa State University
2020 has brought a new understanding of the need for automation of safety-critical systems, from Unmanned Aerial Systems (UAS) and their automated control to robots taking over tasks recently done by humans. As the demands for automation increase and the systems we design grow ever-more complex to accommodate advancing technology, a question arises: how do we know we are safe? This talk demonstrates how formal methods are growing increasingly vital for the development of safety-critical aerospace systems, and our ability to ensure safety and security of new designs for the next era in air and space.
We highlight success stories of formally-verified automation, including NASA's automated Air Traffic Management (ATM) system and its equivalent for UAS (UTM). We contribute significant algorithmic advances to launch the design-time verification technique of model checking to new heights. Also, we demonstrate how formal specifications can be carried through to system run time and used to take runtime verification out of this world... all the way to the International Space Station (ISS). Our real-time, Realizable, Responsive, Unobtrusive Unit (R2U2) fills the gap of flight-certifiable reasoning that embeds on constrained safety-critical systems like UAS, satellites, and NASA's humanoid robot Robonaut2 on the ISS. We introduce projects launching in 2020 to further push the boundaries of both design-time and runtime verification, asking the question, how do we proceed safely from here?
About the speaker...
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. Dr. Rozier's research focuses on automated techniques for the formal specification, validation, and verification of safety critical systems. Her primary research interests include: design-time checking of system logic and system requirements; runtime system health management; and safety and security analysis.
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 holds an endowed position as Black & Veatch faculty fellow, is an Associate Fellow of AIAA, and is a Senior Member of IEEE, ACM, and SWE. Dr. Rozier has served on the NASA Formal Methods Symposium Steering Committee since working to found that conference in 2008.
Related Links
Explore Similar Events
-
Loading Similar Events...
