Manufacturers of automated systems and the manufacturers of the components used in these systems have been allocating an enormous amount of time and effort in the past years developing and conducting research on automated systems. The effort spent has resulted in the availability of prototypes demonstrating new capabilities as well as the introduction of such systems to the market within different domains. Manufacturers of these systems need to make sure that the systems function in the intended way and according to specifications which is not a trivial task as system complexity rises dramatically the more integrated and interconnected these systems become with the addition of automated functionality and features to them. With rising complexity, unknown emerging properties of the system may come to the surface making it necessary to conduct thorough verification and validation (V&V) of these systems. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools in order to reduce the time and cost needed to verify and validate automated systems with respect to safety, cybersecurity and privacy (SCP) requirements. This will ensure that European manufacturers of automated systems remain competitive and that they remain world leaders. To this end, a multi-domain framework is designed and evaluated with the aim to create a clear structure around the components and elements needed to conduct V&V process through identification and classification of evaluation methods, tools, environments and concepts that are needed to verify and validate automated systems with respect to SCP requirements. The implemented V&V methods as well as improved process workflows and tools will also be evaluated in the project using a comprehensive set of demonstrators built from 13 use cases with specific SCP requirements from 6 domains of automotive, industrial robotics, agriculture, Aerospace, railway and health.

The objective of FitOptiVis is to develop an integral approach for smart integration of image- and video-processing pipelines for CPS covering a reference architecture, supported by low-power, high-performance, smart devices, and by methods and tools for combined design-time and run-time multi-objective optimisation within system and environment constraints. Low latency Image processing is often crucial for autonomy, and performing the right interaction of the CPS with its environment. The most important CPS in the project have sensors and processing at distributed places. For many reasons (parts of) CPS has to operate on low energy, whereas the complete system needs results with low latency. The focus of the project is on multi-objective optimisation for performance and energy use. However, other qualities, like reliability, security etc. also play a role in the optimisation.