PROACTIF develops unmanned vehicles based framework for civil security, combining cutting edge UxVs, sensors, components, mission control and multi-domain teaming for safe and secure surveillance of critical infrastructures and for efficient management of emergency situations. The project concept is based on R&D in three technology domains (TDs): TD1 is dedicated to UXV perception capabilities, enabling an unmanned vehicle to observe the surrounding world, including e.g. radars, LiDARs and antennas, as well as IR, hyperspectral and electromagnetic sensing, and edge-could managing of related data. TD2 will focus in UXV mission management, enabling command and control, connectivity, location and positioning, cybersecurity and teaming needed for the complex operations by unmanned vehicles, also paving the way to autonomic vehicles. TD3 will focus in developing of 5 UxV platform capabilities; UAV, USV and 3 different UGVs. All the technology building blocks developed in TD1 and TD2 will be demonstrated both individually and on TD3 platforms in relevant civil security missions. The mission cases represent the different security needs of the civil society, including offshore, seaports, rail yards, energy substations, emergency sites, wildfires, search and rescue and crowd monitoring and teamed UxV operation. The results provide focused contributions to the SRIA 2024 topics. PROACTIF aims to ensure that Europe is well prepared for the whole range of different security challenges and emergency situations, with the aid of technologies that will be available in different geopolitical situations - technologies whose ownership and manufacturing capabilities are in Europe. The consortium includes 42 partners from 13 different countries: 18 SMEs, 11 LEs and 13 RTOs, covering the value chain from electronics packaging to sensors and components, data management, AI and cybersecurity, to UXV platforms to integrate them, and end users. The total budget is 42 M€.

Thanks to the advances in information technology, modern industrial systems are becoming increasingly intelligent and autonomous; thus their requirements for, e.g., correctness, availability, traceability and reliability, are also increasing. Monitoring, analysis and diagnosis of such industrial systems became pivotal and fueled the development of virtualization and simulation solutions such as digital twins. In a nutshell, digital twins are virtual representations of actual systems or processes that serve as real-time digital counterparts for, e.g., prediction, analysis, testing, and simulation. Developing digital twins is a complex process. On the one hand, it includes developing digital twins at different levels of abstraction of the system to allow one to focus on different relevant aspects (e.g, behavioural, logical, physical). On the other hand, it must ensure the correctness of digital twins with respect to the system specifications and the respective level of abstraction, and the federation enabling the communication between digital twins conceived as exchange and resume of models. This project aims to develop a model-based framework addressing the above-mentioned challenges by i) automating the creation of digital twins for the simulation, monitoring and testing of functional and non-functional properties ii) continuous validating digital twins to meet the required properties and iii) developing a multidomain and automated digital twin toolchain for the verification and validation of complex industrial systems based on digital twins. We foresee that this project will positively impact the efficiency of such systems by reducing their time to value and by increasing their final quality.