The First International Workshop on

Verification and Validation of Cyber-Physical Systems

(Co-located with iFM 2016)

New: registration is open registration


Workshop on Verification and Validation of Cyber-Physical Systems is targeted at methods related to different aspects of cyber-physical systems (CPS) with an emphasis on non-functional properties initiated from the physical world. The advanced capabilities of CPS require complex software and synthesis algorithms, which are hard to verify. The ultimate goal of the workshop is to bring together researchers and experts of the fields of formal verification and CPS to cover the wide spectrum of verification and validation methods including control, simulation, formal methods, etc. We welcome extended abstracts and paper submissions for presentation on topics relating to verification and validation of CPS. Areas of interest include but are not limited to:

  • Abstractions of CPS for formal verification
  • Formal modelling and verification of hybrid systems
  • Resource management and processor scheduling
  • Power/Energy/Temperature-Aware modelling and verification of CPS
  • Approaches towards non-classical formal control methods in CPSs
  • Fault tolerance in CPSs
  • Fault-injection and test of CPSs
  • Resiliency in CPSs
  • Dependability of CPSs
  • Hardware/Software co-design in CPSs
  • CPS and natural models of computation (such as quantum and biological)
  • Semantics of CPSs

Invited Speakers

Last modified: Tuesday April 19 17:03:24 GMT 2016

© V2CPS 2016