Main Goal
The main goal of the WAFERS workshop is to discuss novel dependability assessment approaches for complex CPSs and to promote their adoption in real-world systems through industrial and academic research. The aim of the WAFERS workshop is to promote and foster discussion on novel ideas, constituting a forum where researchers can share both real problems and innovative solutions for the assessment of complex systems.
Topics of the Workshop
Topics 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
- Verification of safety and security for artificial intelligence
- Modelling of external factors interacting with CPSs
- Governance in CPSoS
Submission Guidelines
The workshop will consider the following kinds of submissions:
Papers must be written in English using the ACM sigconf template . (double column, \documentclass[sigconf]{acmart} for LaTeX). All submissions are single-blind and will be reviewed by at least three program committee members. The category of the paper should be clearly marked on the first page.
Authors are requested to first register their submissions and then submit their manuscripts in PDF format at the JEMS webpage . JEMS limits to a maximum of 8 authors per paper. More than 8 authors is allowed, but must be indicated to the TPC chairs after acceptance notification.