1st International Workshop on Verification and Validation of Cyber-Physical Systems

CALL FOR PAPERS

1st International Workshop on Verification and Validation of Cyber-Physical Systems

co-located with iFM 2016

1-4 June 2016 | Reykjavik, Iceland | http://www.cs.ox.ac.uk/conferences/VVCPS16/

Workshop on Verification and Validation of Cyber-Physical Systems is targeted at methods related to different aspects of cyber-physical systems with an emphasis on non-functional properties initiated from the physical world. A cyber-physical system (CPS) is an integration of networked computational and physical processes with meaningful inter-effects; the former monitors, controls, and affects the latter, while the latter also impacts the former.

CPSs have applications in a wide-range of systems spanning robotics, transportation, communication, infrastructure, energy, and manufacturing. Many safety-critical systems such as chemical processes, medical devices, aircraft flight control, and automotive systems, are indeed CPS. The advanced capabilities of CPS require complex software and synthesis algorithms, which are hard to verify. In fact, many problems in this area are undecidable. Thus, a major step is to find particular abstractions of such systems which might be algorithmically verifiable regarding specific properties of such systems, describing the partial/overall behaviors of CPSs.
The ultimate goal is to bring together researchers and experts of the fields of formal verification and CPS to cover the theme of this workshop, namely a wide spectrum of verification and validation methods including (but not limited to) control, simulation, formal methods, etc.

Topics of Interest:

We welcome extended abstracts and paper submissions for presentation on topics relating to verification and validation of cyber-physical systems as described above. Typical, but not exclusive, topics include:

• 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

Submission Guidelines:

Authors are invited to submit their papers in EPTCS proceedings format. Full papers should not exceed 15 pages. Short papers should not exceed 8 pages. All contributions will be evaluated by at least three reviewers, chosen by the Program Committee. All accepted papers will be included in the workshop proceedings, which will be published as a volume of the EPTCS series. Papers should be submitted via Easychair at: https://easychair.org/conferences/?conf=v2cps16

Important Dates:

• Submission deadline: February 15, 2016
• Notification of acceptance: March 14, 2016
• Camera ready version: March 28, 2016
• Conference iFM 2016: June 1-4, 2016
• Workshop V2CPS 2016: June 4-5, 2016

Invited Speakers:

• Alessandro Abate (University of Oxford, UK)
• Sanjoy Baruah (University of North Carolina at Chapel Hill, USA)
• Jyotirmoy Deshmukh (Toyota Technical Center, USA)
• Georgios Fainekos (Arizona State University, USA)
• Sriram Sankaranarayanan (University of Colorado, Boulder, USA)

Program Committee:

• Enrico Bini, Scuola Superiore Sant'Anna, IT
• Muffy Calder, University of Glasgow, UK
• Ali Ebnenasir, Michigan Technological University, USA
• Mohammad Reza Mousavi, Halmstad University, SE
• Ali Movaghar, Sharif University of Technology, IR
• Hessam Sarjoughian, Arizona State University, USA
• Krishna Shankarnarayanan, IIT Bombay, IN
• Joseph Sifakis, EPFL and CNRS, FR
• Oleg Sokolsky, University of Pennsylvania, USA
• Sadegh Soudjani, University of Oxford, UK
• Ramin Tavakoli Kolagari, Nuremberg Institute of Technology, DE
• Ufuk Topcu, University of Texas at Austin, USA
• Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental Sciences (IPM), IR

Organizing Committee:

• Sadegh Soudjani, University of Oxford, UK
• Ashutosh Trivedi, University of Colorado Boulder, USA (PC chair)
• Mehdi Kargahi, University of Tehran, IR (PC chair)
• Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental Sciences (IPM), IR

Please consult the webpage of the workshop for more information and the updated list of PC
http://www.cs.ox.ac.uk/conferences/VVCPS16/