Login

Model Based Space Systems and Software Engineering ~ MBSE2021

29–30 Sept 2021
Virtual Event
Europe/Amsterdam timezone

For support please contact:

Session

Session 3 ~ Model Verification and Validation

29 Sept 2021, 14:00
Virtual Event

Virtual Event

Conveners

Session 3 ~ Model Verification and Validation

  • Maxime Perrotin (ESA/ESTEC)

Presentation materials

There are no materials yet.

  1. 35. Welcome by Session Chair
    Mr Maxime Perrotin (ESA/ESTEC)
    29/09/2021, 14:00
  2. 36. Model Checking for Formal Verification of Space Systems
    Dr Michał Kurowski (N7 Space sp. z.o.o.), Mr Rafał Babski (N7 Space sp. z.o.o.), Dr Steve Duncan (Thales Alenia Space UK)
    29/09/2021, 14:05

    Prerecorded presentation - https://youtu.be/Yoa89a84cNs

    Go to contribution page
  3. 37. Formal Verification of Space Systems Designed with TASTE
    Dr Iulia Dragomir (GMV)
    29/09/2021, 14:25

    Prerecorded presentation - https://youtu.be/Ld1Rhbss3i4

    Go to contribution page
  4. 38. COMPASTA: Integration of the COMPASS and TASTE toolsets
    Dr Marco Bozzano (Fondazione Bruno Kessler)
    29/09/2021, 14:45

    Prerecorded presentation - https://youtu.be/uLSPOsXrhK8

    Go to contribution page
  5. 39. Timing analysis of TASTE models for reconfigurable software
    Mr Jean-Charles Roger (Ellidiss Technologies)
    29/09/2021, 15:05

    Prerecorded presentation - https://youtu.be/-trGvhzo2E8

    Go to contribution page
  6. 40. Functional Chain Approach for Avionics Modelling and Simulation
    Mr Pierre Boan (CNES)
    29/09/2021, 15:25

    Prerecorded presentation - https://youtu.be/vwEyBVbWW7s

    Go to contribution page
Building timetable...