posted by user: mpstew || 9167 views || tracked by 6 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://www.cs.ox.ac.uk/conferences/VVCPS16/
 
When Jun 1, 2016 - Jun 4, 2016
Where Reykjavik, Iceland
Submission Deadline Feb 15, 2016
Notification Due Mar 14, 2016
Final Version Due Mar 28, 2016
Categories    verification   cyber-physical systems   modelling   formal methods
 

Call For Papers

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.

Related Resources

FVPS 2018   Formal Verification of Physical Systems
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
[CFP] IEEE IoT Journal Special Issue 2018   [CFP] IEEE IoT Journal - Special Issue on Reliable and Resilient Cyber-Physical Systems
CSITS 2018   International Workshop on Cyber Security for Intelligent Transportation Systems
APCCAS--IEEE, Ei and Scopus 2018   IEEE--2018 14th Asia Pacific Conference on Circuits and Systems (APCCAS 2018)--Ei Compendex and Scopus
RESACS 2018   Fourth International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber-Physical Systems
EI CPSIOT 2018   2018 International Conference on Cyber Physical Systems and IoT(CPSIOT 2018)
CPPS 2018   CYBER PHYSICAL PRODUCTION SYSTEMS: THEORY AND PRACTICES
CyPhy 2018   Workshop on Model-Based Design of Cyber Physical Systems
Scopus-ACPEE 2019   Scopus-2019 4th Asia Conference on Power and Electrical Engineering (ACPEE 2019)