Infante és una iniciativa de diverses empreses i entitats portugueses cofinançada per fons comunitaris i el llançament del qual està previst abans de finals de 2020.

Entre la càrrega de pagament que portarà Infante, destaca l’hipervisor AIR, desenvolupat per GMV i que proporcionarà a Infante una robusta solució crítica per a la seguretat amb el paradigma TSP (Time and Space Partitioning) que segrega recursos de computació temporals i espacials entre particions.

El paradigma TSP permet l’execució simultània de múltiples aplicacions de càrrega de pagament, i alhora en garanteix l’aïllament, és a dir, que una possible fallada no es propagui i posi en perill la missió. AIR implementarà aquest concepte assignant cada aplicació a una participació per a la seva execució en un entorn aïllat, alhora que permet l’accés de totes les aplicacions a uns recursos comuns, com el processador, la memòria i les capes de comunicació.

AIR és la solució TSP de GMV per a l’espai en suport de la versió qualificada de RTEMS (Real-Time Executive for Multiprocessor Systems), i és fruit d’una sèrie d’activitats per a l’Agència Espacial Europa destinades a portar el concepte TSP a l’àmbit de l’espai.