VIVAS

The objective of the project is to propose and demonstrate a generic
Verification and Validation methodology based on the usage of the
System-level Simulation Facilities, specifically targeted at space
autonomous systems using AI-models. The project will integrate
model-based design techniques to generate scenarios and simulation
facilities to produce execution traces where the behavior of the AI
components can be verified. The methodology will be demonstrated on a
planetary robotic asset integrating AI models in existing simulation
facilities.

FBK contributions:

• V&V framework design and implementation
• Model-based generation of scenarios
• Verification of simulation executions