The “Addressing Verification and Validation Challenges in Future Cyber-Physical Systems” (ADVANCE) H2020 RISE research project has started this year with the participation of researchers working on the challenges of future cyber-physical systems. Cyber-physical systems (CPS) are complex systems where the physical aspects are deeply integrated with the communication and computing (cyber) parts providing physical systems with new “intelligent” capabilities. Examples for CPS include autonomous transportation, Industry 4.0 or Internet of Things (IoT) systems. The tight interaction with the physical world often means that CPSs, if not operating properly, can cause harm to users and/or the environment. Therefore the verification and validation (V&V) of such systems is a must. The project will study the V&V methods and the data analysis techniques that are efficient and effective for the new challenges in cyber-physical systems. The goal of the project is to form an international network of organisations working on a joint research and training programme.
According to the Research and Innovation Staff Exchange (RISE) format, the joint research is performed during research exchanges between the partners. The duration of the project is 4 years, and 7 partner organizations are participating: 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.