ESA / INNOVATION AGENCY

MBSE 2025

5–7 Nov 2025 | Vilnius, Lithuania

Deni Raco

Software Engineer, Chair of Software Engineering, RWTH Aachen University

RWTH Aachen University

Aachen, NRW, Germany

Speaker

Principal Investigator of Safety&Security Verification Projects from the EU and the German Government. CS, Maths and Doctoral Studies at RWTH Aachen University.

My organisation

At RWTH Aachen University, we pride ourselves on being one of Europe's leading technical universities, renowned for our commitment to innovation and research excellence. Our interdisciplinary approach fosters collaboration between academia and industry, enabling us to tackle the most pressing challenges in engineering, technology, and the natural sciences.
Read more

About me

  • Principal Investigator of the StartUpSecure Project “CyberBelle - A cloud-based solution for designing secure cyber-physical systems using logic-based AI” from the Federal Ministry of Research, Technology and Space

  • Principal Investigator of the EXIST Business Start-up Project “MontiBelle AI Prover - A digital solution for the quality assurance of cyber-physical systems” from the European Union and the Federal Ministry for Economic Affairs and Energy

  • Grant of three years for the Research Training Group Project “AlgoSyn - Algorithmic synthesis of reactive and discrete-continuous systems” from the German Research Foundation

  • Computer Science, Mathematics and Doctoral Studies at RWTH Aachen University

https://www.se-rwth.de/staff/Deni.Raco

Skills

  • SysML(v2)
  • Simulation
  • Formal Verification

Interests

  • Collaborative Projects in Aerospace

Speaker sessions (2)

Wednesday, 5 November 2025

09:00 - 10:30

SysMLv2: A tool-agnostic conceptual introduction

Location:ZETA (1+2) hallTrack:Day 1 - Track 1
  • Generic introduction to SysMLv2
  • language elements

General SysML v2 language constructs will be introduced. Both a conceptual introduction as well as suitable example models will be provided in the textual notation. Some textual SysML v2 tool on the practitioners' machines will be used to create models.

Thursday, 6 November 2025

11:00 - 12:30

Hackathon: Minimal and open-source SysML v2 library models for space

Location:ETA hallTrack:Day 2 - Track 2
  • SysML v2
  • Space industry
  • Library models

First, an open source SysML v2 library for space models will be introduced. Afterwards, a practical exercise using the library will be carried out. In the end, a discussion of future collaborations and development with the audience.

Marketplace (1)