Tag: Contract-Based Design

VIVAS

Dec 29, 2021

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

Sep 16, 2021

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

Read More

COMPASTA

Apr 20, 2021

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

Read More

AIPlan4EU

Jan 1, 2021

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

Read More

Evidence-FBK collaboration

Nov 1, 2020

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

Read More
Loading