[ecoop-info] 1st International Workshop on Verification and Validation of Cyber-Physical Systems

Sadegh Soudjani sadegh.soudjani at cs.ox.ac.uk
Mon Feb 29 18:04:12 CET 2016

[Please forward to anyone interested. Apologies for multiple mailing.]

Call For Submissions
1st International Workshop on
Verification and Validation of Cyber-Physical Systems
co-located with iFM 2016, 1-4 June 2016, Reykjavik, Iceland

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:

Important Dates:

  Extended submission deadline:  March 2, 2016
  Notification of acceptance:       April 15, 2016
  Camera ready version:            April 30, 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

More information about the ecoop-info mailing list