CPS V&V I&F Workshop 2014

CPS Verification&Validation: Industrial Challenges & Foundations


The purpose of this NSF-sponsored workshop is to make academic solutions meet industrial challenges with the goal of identifying the most important present and future foundational challenges in CPS V&V (verification & validation). While industry experiences a strong need for V&V, it can be difficult for experts from industry to get a feeling for the current capabilities of formal V&V techniques. While academics strive to provide tools and solve questions that they consider of practical relevance, it is not always clear which questions are significant in industrial practices and within range for their approach. That is why this workshop will bring together experts from both academia and industry to provide an open forum for exchange of ideas and to foster collaboration.

While this workshop will allow industry representatives to present and discuss some of the CPS applications challenges they are facing today, we will also gear a significant portion of the workshop toward identifying the fundamental challenges facing CPS in the future. The workshop will give participants the opportunity to share the most important core ideas and challenges in CPS and invite an open discussion to identify the most pressing issues at hand in CPS verification and validation.


The NSF CPS V&V I&F workshop will take place on December 11 and 12, 2014 at Carnegie Mellon University right after the CPS V&V Grand Prix on December 10. The CPS V&V Grand Prix is a final project competition in the Foundations of Cyber-Physical Systems undergraduate course at CMU.


Dates: December 10, 2014 (competition)
December 11, 2014 (workshop)
December 12, 2014 (workshop)
Place: GHC 6115, Carnegie Mellon University

Any opinions, findings, and conclusions or recommendations expressed are those of the author(s) and do not necessarily reflect the views of any sponsoring institution.