Workshop co-Located with LADC 2019
WAFERS
1st Workshop on vAlidation and verification in FuturE cybeR-physical Systems
http://rcl.dsi.unifi.it/wafers
Workshop Description
The physical world is being constantly enhanced by technology and connectivity, for reasons ranging from improvement in our lives to entertainment. Autonomous transportation, smart cities, home and industry automation are on the top of scientific communities’ concerns. Such kind of systems are identified as Cyber-Physical Systems (CPSs), systems where the physical aspects are deeply integrated with the communication and computing (cyber) parts, providing physical systems with new “intelligent” capabilities. These systems are becoming more and more complex and heterogeneous, integrating previously separate systems and including design solutions ranging from the introduction of software Off-The-Shelf (OTS) to the adoption of loosely-integrated and composable services. Innovative dependability assessment solutions and certification processes are thus needed to deal with such complexity, calling for continuous assessment and certification. Therefore, the workshop will keep its focus on exploring the challenges and interdependencies between real-time, security, safety, certification and verification and validation (V&V), which emerge when introducing networked, autonomous and cooperative functionalities.
Topics of Interest
The aim of 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. 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
- 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 with 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
Organizers
Maria de Fátima Mattiello Francisco (INPE – BR)
Regina Lúcia de Oliveira Moraes (UNICAMP – BR)
Tommaso Zoppi (CINI / UNIFI - IT)
