Tag: Contract-Based Design

FAIR

Feb 23, 2023

Future AI Research The goal of the Future Artificial Intelligence Research (FAIR) project is to address the research questions, methodologies, models, technologies, and even ethical and legal rules for building Artificial...

Read More

ATO

Dec 15, 2022

Automatic Train Operation (ATO) is an ongoing project, part of the Strategic Program for Railways...

Read More

PASSIONS

Dec 9, 2022

PASSIONS (Software Product Assurance for Autonomous On-Board Software), funded by ESA, coordinated...

Read More

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
Loading