The Workshop MISSION at INVAP will be held at INVAP premises, in San Carlos de Bariloche, Argentina, on February 24th and 25th, 2022. The preliminary program is listed below, and it will include specialized talks from each of the partners as well as discussion forums for each MISSION’s work-packages.

Day 1 (Feb. 24)
9:00–10:00 Registration

Session chair: Eduardo Nassif

Welcome Words
Gabriel Absi (VP Aerospace Division INVAP S.E.)

10:15–10:45 Our MISSION: Summary and description of the objectives of the project
Pedro R. D'Argenio (UNC)
10:45–11:00 Coffee Break

INVAP presentation, focusing on Aerospace Projects
José Relloso (INVAP)

Visit to the facilities
(lead José Relloso)

13:00–14:00 Lunch Break

Session chair: Pablo Castro

Don't look up. StarLink project: bold venture or economic bubble?
Roberto Cibils (INVAP)

Optimal Power-Aware Satellite Scheduling in Low-Earth Orbit
Holger Hermanns (USAAR)

Asynchronous Communications for a Space Internet
Juan Fraire (UNC, Inria)

Analysis and Design of Networked Satellite Constellations: Models and Tools
Santiago Henn (UNC)

16:00–16:30 Coffee Break

Session chair: Holger Hermanns

BFL: a Logic to Reason about Fault Trees
Stefano Nicoletti (UT)

Optimal Routing in Satellite DTN through Markov Decision Processes
Pedro R. D'Argenio (UNC)

Day 2 (Feb. 25)

Session chair: Mariëlle Stoelinga

Mechanically Finding the Right Probabilities: A Survey of Parameter Synthesis
Joost-Pieter Katoen (RWTH)

Taming Delays Algorithmically by Synthesizing Delay-Resilient Control
Mingshuai Chen (RWTH)

Latticed k-Induction with an Application to Probabilistic Programs
Kevin Batz (RWTH)

MaskD: A Tool for Measuring Masking Fault-Tolerance
Pablo Casro, Luciano Putruele (UNRC)

11:00–11:30 Coffee Break

Session chair: Juan Fraire

The challenge of using components non qualified for space in space missions
Roberto Cibils (INVAP)

Toward Low-Cost LEO Communication Networks Leveraging DTN
Felix Walter (D3TN)

STARS: A SticAmSud Project on Direct-to-Satellite IoT
Cesar Azurdia, Claudio Estevez (UChile)

13:00–14:00 Lunch Break

Session chair: Joost-Pieter Katoen

Predictive Maintenance
Mariele Stoelinga (UT)

Modest Tools for Stochastic Timed Systems
Arnd Hartmanns (UT)

Verification of CTMCs with Uncertain Rates by Scenario Optimization
Matthias Volk (UT)

15:30–16:00 Coffee Break
16:00–18:00 Wrap-up / Identification of subjects of mutual interest into or beyond MISSION project

(All times corresponds to Argentinian time zone.)