Workshop Chairs

• Maria de Fátima Mattiello Francisco (INPE, BR)
• fatima.mattiello(at)inpe.br

• Regina Lúcia de Oliveira Moraes (UNICAMP, BR)
• regina(at)ft.unicamp.br

• Tommaso Zoppi (CINI - UNIFI, IT)
• tommaso.zoppi(at)unifi.it
• Viale Morgagni 65, Florence, Italy

Workshop Sponsorship

The workshop is supported by the ADVANCE project, which is meant to gather researchers working on the challenges of future cyber-physical systems.

More in detail, the “Addressing Verification and Validation Challenges in Future Cyber-Physical Systems” (ADVANCE) H2020 RISE research project has started this year with the participation of 7 partners: Consorzio Interuniversitario Nazionale Per L’Informatica (Italy), Universidade de Coimbra (Portugal), Budapest University of Technology and Economics (Hungary), Universidad de los Andes (Colombia), ResilTech s.r.l. (Italy), Universidade Estadual de Campinas (Brazil) and Instituto Nacional de Pesquisas Espaciais (Brazil). he project will work on two CPS case studies to collect challenges and requirements for future V&V activities. The first one is the Brazilian Environmental Data Collection System (BEDCS) developed and operated at INPE. The second use case provided by ResilTech is studying the use of modern, multi-core processors and operating systems in future safety-critical systems.