On September 15, we had a successful kick-off meeting of the ROBDT project, funded by the European Space Agency (ESA-ESOC) and lead by TRASYS with the participation of GMV and FBK. The project aims at developing a Robotic Digital Twin framework. FBK will contribute with AI and MBSE tools and techniques.
See more details here: https://es.fbk.eu/index.php/projects/robdt/
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference