===================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-4, 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
-- 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 and the
updated list of PC
http://www.cs.ox.ac.uk/conferences/VVCPS16/
--Sadegh Soudjani
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
