V&V: BRIDGING THE GAP BETWEEN THEORY AND PRACTICE
Pete Manolios, Northwestern University
January 14, 2014, 10:30 am, NASA Langley, Bldg 1220, Rm 212
Abstract:
It is universally recognized that V&V (Verification & Validation) is one of the major costs incurred during the design and revitalization of safety-critical systems. Our best chance to reduce costs in any significantly way is to have government, industry, and academia working together. Unfortunately, there is no single V&V community; instead there are several communities operating as islands that don’t speak the same language and rarely truly communicate with one another. In this (non-technical) talk, I will draw upon my experiences in industry (Boeing and GE) and academia to highlight some of the issues and what can be done about them.
Biography:
Pete Manolios is a Professor in the College of Computer and
Information Science at Northeastern. Pete is an Associate Editor of ACM Transactions on Design Automation of Electronic Systems (TODAES). He was a member of the FMCAD and ACL2 Steering Committees, and is a member of the IFIP working group 1.9/2.15 on Verified Software.