Tag: Model Based Design


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


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

Read More


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

Read More


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