Tipologia progetto: Europeo - Call H2020-MSCA-RISE-2018

Titolo: Addressing Verification and Validation Challenges in Future Cyber-Physical Systems (ADVANCE)

Ruolo CINI: Coordinatore

Partner: 

• Consorzio Interuniversitario Nazionale per l’Informatica, 

• Universidade de Coimbra, 

• Budapesti Muszaki es Gazdasagtudomanyi  Egyetem, 

• Universidad de los Andes Fundacion, 

• ResilTech Srl, 

• Universidade Estadual de Campinas, 

• Instituto Nacional de Pesquisas Espaciais.

Abstract

In the last decade, technology has rapidly expanded to multiple aspects of our lives. The physical world is being constantly enhanced by technology and connectivity, for reasons ranging from improvement in our lives to pure entertainment. Examples of this trend are evident in emerging technologies like autonomous transportation, smart cities, home and industry automation. The scientific community identifies such kind of systems as Cyber-Physical Systems (CPSs), that is, systems where the physical aspects are deeply integrated with the communication and computing (cyber) parts: they provide physical systems with new “intelligent” capabilities. Such integration involves multiple interconnected embedded systems, with blurred boundaries between, and a strong interaction with the physical world.

The tight interaction with the physical world often means that CPSs, if not operating properly, can cause harm to users and/or the environment. In other words, CPSs are often safety-critical systems, and must therefore be subject to a rigorous Verification and Validation (V&V) process to heck if they meet the specifications and fulfill the intended use, goals and objectives. While the V&V practices are relatively established for traditional systems, like railways, avionics, space, or automotive, the current transition towards CPSs is raising significant challenges in the industry. New techniques and technologies are being introduced, yet the V&V practices are not improving with the same pace.

The scientific objective of the ADVANCE project is to conceive new approaches to support the Verification and Validation (V&V) of Cyber-Physical Systems (CPS). It will explore techniques, methods, and tools to improve the effectiveness and efficacy of the V&V process. In particular, ADVANCE will focus on two main aspects of V&V: i) techniques to collect V&V evidences for a CPS (focusing on system modelling, testing, fault forecast, and systematic processes like FMEA), and ii) techniques to manage and analyse data of the system under analysis (focusing on data analysis, requirements management, traceability). The strategic objective of the project is to build an international network of collaborations on the topic of V&V of CPSs. Besides allowing the consortium to reach the project’s scientific objectives, the established interactions would allow the training of students and professionals on the latest innovations in the V&V panorama, and have them work together towards a common goal. 

These objectives will be pursued by joining together V&V experts having different specialization and different backgrounds, and establishing a targeted transfer of knowledge and collaboration program, using two real case studies as reference throughout the project.

Responsabile CINI: Prof. Andrea Bondavalli

Scientific Project Coordinator: Dott. Paolo Lollini

Data Inizio-Fine: 01/01/2019 – 31/12/2022

Sito web del progetto: https://www.advance-rise.eu/