[AISWorld] CfP: 2nd Workshop on vAlidation and verification in FuturE cybeR-physical Systems @LADC2021

[Nuno Laranjeiro]

==============================
WAFERS Workshop - Call for Papers
2nd Workshop on vAlidation and verification in FuturE cybeR-physical Systems 
Co-Located with LADC 2021 (online event)
https://wafers-ws.github.io/
==============================


Important Dates
------------------------------
Submission:      September 15th, 2021
Notification:    September 30th, 2021
Camera Ready:    October 10th, 2021


Call for Contributions
------------------------------
The aim of WAFERS is to promote and foster discussion on novel ideas for the
assessment of complex systems, constituting a forum where researchers can share
both real problems and innovative solutions. This second edition of WAFERS is
co-located with LADC, the major Latin-American event dedicated to computer
system dependability, including network security. 

The physical world is being constantly enhanced by technology and connectivity.
Emerging from advances in the field of smart cities, autonomous transportation,
home and industry automation, Cyber-Physical Systems (CPSs) provide physical
systems with new “intelligent” capabilities. Current and future CPSs will
empower our critical infrastructure and have the potential to significantly
impact our daily lives as they form the basis for future smart services. 

Being complex and heterogeneous, these systems demand innovative dependability
assessment solutions and certification processes. The WAFERS workshop will
focus on exploring the challenges in the verification and validation (V&V) of
the interdependencies between real-time, security, safety, and other
non-functional properties that arise when introducing networked, autonomous
and cooperative functionalities. 

Major topics of interest include, but are not limited to:
* Software Assessment to cope with increasing System Complexity
* Assessment of integrated systems including software OTS and legacy software
* Agile development in critical systems: assessment challenges and approaches
* Architectures for Complex Cyber-Physical Systems-of-Systems
* Automated verification and validation of critical systems
* Certification of Complex and integrated Systems
* Dynamic and evolving systems: new needs for verification, validation and
 certification
* Model-driven approaches for the assessment of dependable and secure systems
* Dependable and secure cloud systems and virtualized environments
* Secure data communication in cyber-physical networks
* Experimental assessment of dependability and security
* Tools and demos for the assessment of complex systems
* Practical experiences and testbeds related to safety and security of
 cyber-physical systems
* Industrial experiences and best practices relevant to safety and security of
 cyber-physical systems
* Open issues, practical experiences and real-world case studies


Information to Authors
------------------------------
The workshop will consider the following kinds of submissions:

* Regular Papers (up to 8 pages), which should present complete contributions
 or the presentation of consolidated ongoing work;
* Short papers (4 pages), which should present new research ideas and initial contributions that do not have to be fully mature or consolidated;
* Emerging Ideas (2 pages), which should present new research ideas and 
 directions within the topics of the workshop, with a stronger focus on
 sparking discussions at the event.

All contributions must be written in English, following the IEEE conference
proceedings format (https://www.ieee.org/conferences/publishing/templates.html). Accepted papers, in both categories, shall be presented by the authors
at the event, and will be published in the IEEE proceedings.

Papers must be submitted via the JEMS platform at the following link:
https://submissoes.sbc.org.br/ladc2021-wafers. 

All submissions will be peer-reviewed and discussed by the program committee.

Organizers
------------------------------
Leonardo Montecchi   UNICAMP, Brazil
Nuno Laranjeiro      UC, Portugal
Vince Molnár         BME, Hungary 

Program Committee
------------------------------
Please check the website (https://wafers-ws.github.io/) for the latest version of the Program Committee.