The Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS) aims 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 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. The workshop aims at discussing current state of the art, emerging challenges and trends, as well as novel solutions for cyber-physical and critical systems validation. The Proceedings of WAFERS are published annually, bringing the articles selected for each edition of the event.
Topics of Interest
WAFERS 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
Additional information
For more information about WAFERS, visit the event's website.
