Model Based Space Systems and Software Engineering ~ MBSE2022

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

23 Nov 2022, 14:30

20m

Hybrid Event

Session 6 - Software

Speaker

Iulia Dragomir (GMV Aerospace and Defence)

Description

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

Presentation materials

1430 - Abstract - Model-checking for TASTE Designed Space Software Systems Results and Lessons Learned.pdf

1430 - Presentation - Model-checking for TASTE Designed Space Software Systems Results and Lessons Learned.pdf

1430 - Recorded - Model-checking for TASTE Designed Space Software Systems Results and Lessons Learned.mp4