[Om-announce] V2CPS: Workshop on Verification and Validation of Cyber-Physical Systems

[Sadegh Soudjani]

Please forward this Call For Papers to interested researchers. I apologize
in advance for multiple copies.

Cheers,

Sadegh Soudjani


========================Call for Papers==========================

                                                        V2CPS 2016

                                                      1st International
                     Workshop on Verification and Validation of
Cyber-Physical Systems
                              http://www.cs.ox.ac.uk/conferences/VVCPS16/

                         co-located with iFM 2016, 1-4 June 2016,
Reykjavik, Iceland
============================================================

Important Dates:

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


​Motivation

​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


Invited Speakers:

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

​Program Committee:

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

Organizing Committee:​

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


​Please consult the webpage of the workshop for more information
​http://www.cs.ox.ac.uk/conferences/VVCPS16/​​
--
Sadegh Soudjani, PhD
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20160104/db97bb96/attachment-0001.html>