Login

Model Based Space Systems and Software Engineering ~ MBSE2022

22–24 Nov 2022
Hybrid Event
Europe/Amsterdam timezone

For support please contact:

Session

Session 6 - Software

23 Nov 2022, 14:00
Hybrid Event

Hybrid Event

Presentation materials

There are no materials yet.

  1. 33. Introduction by Session Chair
    Mr Maxime Perrotin (ESA)
    23/11/2022, 14:00
  2. 34. Flight Software Development with TASTE
    Steve Duncan (Thales Alenia Space UK Ltd)
    23/11/2022, 14:10

    Author:
    Steve Duncan
    Thales Alenia Space UK Ltd

    Go to contribution page
  3. 35. Model-checking for TASTE Designed Space Software Systems: Results and Lessons Learned
    Iulia Dragomir (GMV Aerospace and Defence)
    23/11/2022, 14:30

    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

    Go to contribution page
  4. 36. Toolchain to connect EDS and TASTE
    Filip Demski (N7 Space sp. z.o.o.), Michał Kurowski (N7 Space sp. z.o.o.)
    23/11/2022, 14:50

    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

    Go to contribution page
  5. 37. The COMPASTA Approach for MBSE
    Marco Bozzano (Fondazione Bruno Kessler)
    23/11/2022, 15:10

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

    Go to contribution page
  6. 38. MBSE on Ariane 6 applied to Flight Software
    Pierre Moro (Ariane Group)
    23/11/2022, 15:30

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

    Go to contribution page
Building timetable...