CPS V&V I&F Workshop 2019

CPS Verification&Validation: Industrial Challenges & Foundations
   Safe Learning and Optimization


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 optimization and learning in autonomous CPS. Methods of interest span design and implementation of CPS and autonomous systems all the way from verified models to verified code, experience reports in applying formal methods to optimization and learning in autonomous systems, and challenges in ensuring safety of autonomous systems with components that use optimization and learning techniques. 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.

This workshop will allow industry representatives to present and discuss some of the CPS applications challenges they are facing today, and 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 CPS V&V I&F workshop will follow a similar model as the previous workshop in 2014, 2016, 2017, and 2018. The CPS V&V I&F 2019 workshop will take place on Wed. Dec. 11, 2019 at Carnegie Mellon University right after the CPS V&V Grand Prix on Dec. 10. The CPS V&V Grand Prix is a final project competition in the Foundations of Cyber-Physical Systems undergraduate course at CMU. Workshop participants are welcome to also attend the final project competition.



Dates: Tue. Dec. 10, 2019 (competition)
Wed. Dec. 11, 2019 (workshop)
Place: Gates Hillman Center GHC 6115, Carnegie Mellon University

The meeting is supported by grant FA9550-18-1-0325 from the Air Force Office of Scientific Research. The contents do not necessarily reflect the views of the AFOSR.