On August 27 2009, Dimitra Giannakopoulou gave an invited keynote talk at the 35th EUROMICRO conference on Software Engineering and Advanced Applications in Patras, Greece.
Her talk, titled “NASA’s State-Space Exploration: Verifying Safety-Critical Systems,” provided an overview of the advanced verification efforts carried out in Robust Software Engineering area. The focus of the talk was on compositional verification, a divide-and-conquer technique that aims at increasing the scalability of advanced verification techniques such as model checking by exploiting a system’s structure into components. Researchers in the Robust Software Engineering area are world leaders in compositional verification, and have developed novel algorithms for automation of such approaches. Dr Giannakopoulou discussed the application of automated compositional verification techniques to a number of NASA systems, and presented current challenges and future directions.
The keynote talk was received enthusiastically by the audience, and a large number of participants approached Dr Giannakopoulou for further discussions.
BACKGROUND: Dr. Dimitra Giannakopoulou is a Carnegie Mellon senior scientist, working with the Robust Software Engineering group at the NASA Ames Research Center. Her research focuses on scalable specification and verification techniques for NASA systems. She is interested in incremental and compositional model checking based on software components and architectures, and in automated test-case generation. She is co-recipient of an ACM distinguished paper award, co-editor of two special journal issues on Compositional Verification, co-recipient of the FLC 2009 “Outstanding Technology Development Award”, co-chair of NFM 2009 (NASA Formal Methods Symposium), and co-organizer of the SAVCBS (Specification and Verification of Component-Based Systems) Workshop Series. She received her Ph.D. in 1999 from Imperial College, University of London.
NASA PROGRAM FUNDING: Airspace Systems Program, NextGen Airspace Project
Contact: Dimitra Giannakopoulou