Login

Model Based Space Systems and Software Engineering ~ MBSE2021

Sep 29 – 30, 2021
Virtual Event
Europe/Amsterdam timezone

For support please contact:

Session

Session 3 ~ Model Verification and Validation

Sep 29, 2021, 2:00 PM
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)
    9/29/21, 2:00 PM
  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)
    9/29/21, 2:05 PM

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

    Go to contribution page
  3. 37. Formal Verification of Space Systems Designed with TASTE
    Dr Iulia Dragomir (GMV)
    9/29/21, 2:25 PM

    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)
    9/29/21, 2:45 PM

    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)
    9/29/21, 3:05 PM

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

    Go to contribution page
  6. 40. Functional Chain Approach for Avionics Modelling and Simulation
    Mr Pierre Boan (CNES)
    9/29/21, 3:25 PM

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

    Go to contribution page
Building timetable...