Model Based Space Systems and Software Engineering ~ MBSE2021

Session

Session 3 ~ Model Verification and Validation

29 Sept 2021, 14:00

Virtual Event

Conveners

Session 3 ~ Model Verification and Validation

• Maxime Perrotin (ESA/ESTEC)

35. Welcome by Session Chair

Mr Maxime Perrotin (ESA/ESTEC)

29/09/2021, 14:00

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

37. Formal Verification of Space Systems Designed with TASTE

Dr Iulia Dragomir (GMV)

29/09/2021, 14:25

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

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

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

40. Functional Chain Approach for Avionics Modelling and Simulation

Mr Pierre Boan (CNES)

29/09/2021, 15:25

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