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

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


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

ICST 2018   The 11th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2018)
HVC 2017   Haifa Verification Conference
ICCS - IEEE 2017   The UND-SCIEI International Conference on Cyber-Security in Aerospace, Computer Science, and Electrical Engineering (ICCS 2017)--IEEE, Ei Compendex and Scopus
CFC-Data Analytics/Smart Cities 2017   Call for Chapters (Taylor & Francis): Data Analytics Applications for Smart Cities
HLDVT 2017   19th IEEE International High-Level Design Validation and Test Workshop 2017
CPS-SPC 2017   ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC)
COMOREA 2018   14th Workshop on Context and Activity Modeling and Recognition
MWAIS 2018   13th Annual Conference of the Midwest Association for Information Systems
EI-D2ME 2017   2017 2nd International Conference on Design, Mechanical and Material Engineering--Ei&Scopus
ICAPM - Scopus, EI 2018   2018 8th International Conference on Applied Physics and Mathematics (ICAPM 2018)--Scopus, EI Compendex and ISI