Marcel Verhoef
System Engineering
European Space Agency
Noordwijk, Netherlands
System Engineer at the ESA Concurrent Design Facility; supporting the digitalisation of engineering, using MBSE. Co-convenor of the MB4SE advisory group.
My organisation
About me
MSc in computer science (1992), specialised in formal techniques. PhD in computer science (2009), on multi-disciplinary design of complex embedded real-time control systems. Twenty years of industry experience in developing embedded real-time systems for wide variety of customers and application areas. Ten year of experience in spacecraft development, with focus on flight software. Worked on Cheops, Euclid and METOP-SG. Author of two textbooks on practical application of formal methods for system design.
Skills
- MBSE
- Formal methods
- concurrent engineering
Speaker sessions (2)
Thursday, 6 November 2025
11:00 - 12:30
Hackathon: Minimal and open-source SysML v2 library models for space
- 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.
14:00 - 16:00
WCIS Topic 1: Towards adoption of SysMLv2 in the space community
- SysML v2
- MBSE
- Space tailored MBSE tooling
- Community
- Web-based modeler
- GSEF
- World Cafe Interactive Session
The IDEF project aims to foster Model-Based Systems Engineering (MBSE) adoption by integrating SysML v2 into the space domain (30 minute round-robin)