Tag: Model Based Design

VIVAS

The objective of the project is to propose and demonstrate a genericVerification and Validation methodology based on the usage of theSystem-level Simulation Facilities, specifically targeted at spaceautonomous systems using...

Read More

ROBDT

MBSE technology such as simulation has been adopted for decades at ESA and European industry....

Read More

COMPASTA

The goal of COMPASTA is to integrate the COMPASS toolset with TASTE. COMPASS is a toolset for...

Read More

AIPlan4EU

Automated Planning and Scheduling is a central research area in AI that has been studied since the...

Read More

Evidence-FBK collaboration

A joint scientific study, funded by Evidence, will investigate the formal verification of safety properties of embedded software.

Read More
Loading