NATIONAL INSTITUTE OF AEROSPACE

Contact Us

Colin Britcher, Ph.D.
Director of Graduate Education
757.325.6730
colin.britcher@nianet.org  

Mary Catherine Bunde, M.Ed.
Senior Education Administrator
757.325.6731
mary.bunde@nianet.org

1.14.14 Manolios

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.

BUSINESS WITH NIA

Headquarters

100 Exploration Way
Hampton, VA 23666
(757)325-6700
www.nianet.org