Formal Requirements

Collaboration initiated with the Innopolis University on the use of formal methods in Requirements Engineering

FUN Modeling

Placing the Final User Needs (FUN) at the center of the (modeling) concerns

MBSE & Early Validation

An integrated model-based early validation approach for Railway Systems

GEMOC Initiative

GEMOC is an open and international initiative that aims to coordinate and disseminate the research results regarding the support of the coordinated use of various modeling languages that will lead to the concept of the globalization of modeling languages.


MOdels and Information Sharing for System Engineering in Extended Entreprise