CPS V&V I&F Workshop 2018

CPS Verification&Validation: Industrial Challenges & Foundations
   -- Safe Learning and Safe Acting --

Goals

The purpose of this 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 safe learning and safe actuation in autonomous CPS. Methods of interest span design and 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.

Venue

The CPS V&V I&F workshop will follow a similar model as the previous workshop in 2014, 2016, and 2017. The CPS V&V I&F 2018 workshop will take place on Dec. 12, 2018 at Carnegie Mellon University right after the CPS V&V Grand Prix on Dec. 11. The CPS V&V Grand Prix is a final project competition in the Logical Foundations of Cyber-Physical Systems undergraduate course at CMU.

Dates