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

General Info

Start Date: 1 May 2022
End Date: 30 Apr 2023
Duration: 12 months
Funding: ESA - ESTEC

Partners

• SOLENIX (prime)
• FBK
• TRASYS

Contacts

Alberto Griggio <>
Stefano Tonetta <>