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 <>

Recent Posts