- This event has passed.
Research Seminar – Dimitra Giannakopoulou
May 26 @ 10:00 am - 11:20 am
NASA Ames Research Center
May 26, 2017
Host: Zvonimir Rakamaric
Towards verification and validation for increased autonomy
Autonomy brings the complexity of systems to new dimensions, and as such, it needs breakthroughs in assurance technologies and certification processes. This talk will review some of our recent work on the verification and validation (V&V) of the next generation airborne collision avoidance system (ACAS X). ACAS X uses probabilistic models of aircraft encounters in a safety-critical context, and as such, poses novel challenges for V&V. Based on our experience with ACAS X, we will discuss challenges that are inherent in V&V of autonomy, and potential approaches to addressing them.
Dimitra Giannakopoulou is a Research Computer Scientist with the NASA Ames Research Center. She leads the Models and Algorithms for Reliable Software (MARS) Group within the Robust Software Engineering Area. Her work is concerned with the development of scalable verification and validation techniques for safety critical systems. She holds a PhD in Distributed Computing from Imperial College, University of London. She has authored over 60 peer-reviewed publications and has delivered several keynote talks at international conferences.
More information can be found at: https://ti.arc.nasa.gov/profile/dimitra/