CPS Verification&Validation: Industrial Challenges & Foundations
-- Safe Implementation of CPS --
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) to ensure correct implementation of CPS and autonomous systems all the way from verified models to verified code. 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 and formal guarantees when it comes to correctness guarantees about the actual running system. 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 safety and implementation challenges facing CPS in the future. The workshop will give participants the opportunity to share the most important core ideas and challenges and invite an open discussion to identify the most pressing issues at hand in CPS verification and validation of implementations.
The NSF CPS V&V I&F workshop will follow a similar model as the previous workshop in 2014 and 2016. The NSF CPS V&V I&F 2017 workshop will take place on May 12, 2017 at Carnegie Mellon University right after the CPS V&V Grand Prix on May 11. The CPS V&V Grand Prix is a final project competition in the Foundations of Cyber-Physical Systems undergraduate course at CMU.
|Dates:||May 11, 2017 (competition)|
|May 12, 2017 (workshop)|
|Place:||GHC 6115, Gates Hillman Center, Carnegie Mellon University|