Model Based Space Systems and Software Engineering ~ MBSE2022

Session

Session 6 - Software

Nov 23, 2022, 2:00 PM

Hybrid Event

33. Introduction by Session Chair

Mr Maxime Perrotin (ESA)

11/23/22, 2:00 PM

34. Flight Software Development with TASTE

Steve Duncan (Thales Alenia Space UK Ltd)

11/23/22, 2:10 PM

Author:
Steve Duncan
Thales Alenia Space UK Ltd

35. Model-checking for TASTE Designed Space Software Systems: Results and Lessons Learned

Iulia Dragomir (GMV Aerospace and Defence)

11/23/22, 2:30 PM

Authors:
I. Dragomir (1), C. Redondo (1), T. Jorge (2), L. Gouveia (2), M. Bozga (3), I. Ober (4), M. Perrotin (5)
(1) GMV Aerospace and Defence, (2) GMV, (3) VERIMAG, (4) ISAE, (5) European Space Agency / ESTEC

36. Toolchain to connect EDS and TASTE

Filip Demski (N7 Space sp. z.o.o.), Michał Kurowski (N7 Space sp. z.o.o.)

11/23/22, 2:50 PM

Authors:
Michał Kurowski (1), Filip Demski (1), Jakub Rachucki (1), Maxime Perrotin (2), David Perillo (2)
(1) N7 Space sp. z o.o., (2) European Space Agency

37. The COMPASTA Approach for MBSE

Marco Bozzano (Fondazione Bruno Kessler)

11/23/22, 3:10 PM

Authors:
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta
Fondazione Bruno Kessler

38. MBSE on Ariane 6 applied to Flight Software

Pierre Moro (Ariane Group)

11/23/22, 3:30 PM

Authors:
Philippe Gast, David Lesens, Pierre Moro
Ariane Group