Name: Model Based Space Systems and Software Engineering ~ MBSE2021
Start: 2021-09-29T08:30:00+02:00
End: 2021-09-30T18:00:00+02:00
Location: Virtual Event

Model Based Space Systems and Software Engineering ~ MBSE2021

from Wednesday, 29 September 2021 (08:30) to Thursday, 30 September 2021 (18:00)

Monday, 27 September 2021
Tuesday, 28 September 2021
Wednesday, 29 September 2021
08:30 Live Lobby - Kathleen Gerlo (ESA/ESTEC - Software Systems Division)
Live Lobby
- Kathleen Gerlo (ESA/ESTEC - Software Systems Division)
08:30 - 09:00
09:00
09:00 - 10:35
Contributions

09:00 Welcome & Logistics - Agnes Mestreau (ESA/ESTEC) Bénédicte Girouart (ESA/ESTEC) Joachim Fuchs (ESA/ESTEC)

09:15 MBSE at ESA: State of MBSE in ESA Missions and Activities - Jamie Whitehouse (ESA/ESTEC)

09:35 ESA MBSE Evolution: From ESA SysML Toolbox to ESA MBSE Solution - Alberto Gonzalez Fernandez (ESA/ESTEC)

09:55 Deorbit Kit Design with SysML ESA Profile - Lorenzo Tarabini Castellani (Sener Aeroespacial S.A.)

10:15 SysML Version 2 Approaching Industrial Use - Hans-Peter de Koning (DEKonsult)
10:35 Coffee Break
Coffee Break
10:35 - 11:00
11:00
11:00 - 13:05
Contributions

11:00 Welcome by Session Chair - Marcel Verhoef (ESA/ESTEC)

11:05 MBSE in an SME Context - Rhiannon Jenkins (ESA/ECSAT)

11:25 First lessons learned from adopting a Model-Based System Engineering approach in early phases of complex satellite systems - Belén González Rodríguez

11:45 MBSE on MSR ERO: a use case - Jean-Baptiste Bernaudin (Airbus DS)

12:05 Incorporating Model Based Reviews into the life cycle of the Earth Return Orbiter - Lorenz Affentranger (ESA/ESTEC)

12:25 Application of Digital Exchanges Between Project Partners in the Frame of Envision Project - Gérald Garcia (Thales Alenia Space)

12:45 Towards a MBSE Best Practices Book for Space Projects - César Coelho (CGI Deutschland B.V. & Co. KG / Space)
13:05 Lunch Break
Lunch Break
13:05 - 14:00
14:00
14:00 - 15:45
Contributions

14:00 Welcome by Session Chair - Maxime Perrotin (ESA/ESTEC)

14:05 Model Checking for Formal Verification of Space Systems - Michał Kurowski (N7 Space sp. z.o.o.) Rafał Babski (N7 Space sp. z.o.o.) Steve Duncan (Thales Alenia Space UK)

14:25 Formal Verification of Space Systems Designed with TASTE - Iulia Dragomir (GMV)

14:45 COMPASTA: Integration of the COMPASS and TASTE toolsets - Marco Bozzano (Fondazione Bruno Kessler)

15:05 Timing analysis of TASTE models for reconfigurable software - Jean-Charles Roger (Ellidiss Technologies)

15:25 Functional Chain Approach for Avionics Modelling and Simulation - Pierre Boan (CNES)
15:45 Coffee Break
Coffee Break
15:45 - 16:10
16:10
16:10 - 17:55
Contributions

16:10 Welcome by Session Chair - Quirien Wijnands (ESA/ESTEC)

16:15 Enabling portability across diverse hardware with a model-based approach - Peter Mendham (Bright Ascension Ltd)

16:35 Model-Based System Engineering for Avionics Processes - Barthélémy Attanasio (Thales Alenia Space France)

16:55 Model based approach in configuration data management for LVCUGEN Flight Software - Stéphane Duprat (Atos)

17:15 Extending the Scale of Our Modelling Environments with CFS and SEDS - Zahi Manzelji (Thales Alenia Space France)

17:35 Leveraging the Eclipse Modeling Framework to work with Electronic Datasheets - David Perillo (ESA/ESTEC) Lukas Petersson (ESA/ESTEC)
Thursday, 30 September 2021
08:30 Live Lobby - Kathleen Gerlo (ESA/ESTEC - Software Systems Division)
Live Lobby
- Kathleen Gerlo (ESA/ESTEC - Software Systems Division)
08:30 - 09:00
09:00
09:00 - 12:30
Contributions

09:00 OSMoSE Overview - Quirien Wijnands (ESA/ESTEC) Serge Valera (ESA/ESTEC)

09:30 Space System Ontology Development Approach - Quirien Wijnands (ESA/ESTEC) Serge Valera (ESA/ESTEC)

09:40 ECSS Master Database - Nieves Salor Moral (RHEA Group)

10:25 Conceptualizing MBSE

11:25 Implementing OSMoSE

12:10 Closing out with Q&A - Quirien Wijnands (ESA/ESTEC) Serge Valera (ESA/ESTEC)
12:30 Lunch Break
Lunch Break
12:30 - 13:30
13:30
13:30 - 15:35
Contributions

13:30 Welcome by Session Chair - David Perillo

13:35 Toward space system modeling with appropriate scope and abstraction based on validation against constraints - Hiroki Umeda (JAXA)

13:55 Implementation of MBSE solution for Advanced Digital Ground Segment Engineering - Russell Gibson (AS CGI Eesti | CGI)

14:15 MBSE in AIT and Operations of MOVE-II and its Impact on the MBSE2DL Activity and the MOVE-III Mission - Florian Schummer (Technical University of Munich)

14:35 Using Semantic Systems Engineering Techniques to Verify the Large Aperture Space Telescope Mission – Current Status - Joe Gregory (Perpetual Labs Ltd.)

14:55 Benefits of Model-Based System Engineering for FDIR - Régis de Ferluc (Thales Alenia Space)

15:15 A Taste of Binarised Neural Network Inference for On-Board FPGAS - Jannis Wolf (Barcelona Supercomputing Center (BSC))
15:35 Coffee Break
Coffee Break
15:35 - 16:00
16:00
16:00 - 17:45
Contributions

16:00 Welcome by Session Chair - Marcel Verhoef (ESA/ESTEC)

16:05 Implementation of the ECSS-E-ST-40c Processes Using a Model-Based Paradigm - Elena Alaña Salazar (GMV) Tiago Manuel Da Silva Jorge (GMV)

16:25 Specification and Architecture of a System Factory for Space Systems - Elena Alaña Salazar (GMV) Tiago Manuel Da Silva Jorge (GMV)

16:45 Digital Engineering Hub Pathfinder - Alex Vorobiev (RHEA Group)

17:05 TeePee4Space : a practical application of Information Sharing in Extended Entreprise to the space industry - Romaric Demachy (IRT Saint Exupéry)

17:25 Systematic Search of Optimal Space System Missions Design Using Set-Based Concurrent Engineering Based on Models - Gérald Garcia (Thales Alenia Space)
17:45 Workshop Closing - MBSE2021 Wrap-Up - Jean-Loup TERRAILLON (ESA)
Workshop Closing - MBSE2021 Wrap-Up
- Jean-Loup TERRAILLON (ESA)
17:45 - 18:00