Loading Events

« All Events

  • This event has passed.

Research Seminar – Dimitra Giannakopoulou

May 26 @ 10:00 am - 11:20 am

Dimitra Giannakopoulou
NASA Ames Research Center

May 26, 2017
3147 MEB
refreshments 9:50am
lecture 10:00am

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/


May 26
10:00 am - 11:20 am
Event Category:


3147 MEB