Infante es una iniciativa de varias empresas y entidades portuguesas cofinanciado por fondos comunitarios y cuyo lanzamiento está previsto antes de finales de 2020.

Entre la carga de pago que llevará Infante, destaca el hipervisor AIR, desarrollado por GMV y que proporcionará a Infante una robusta solución crítica para la seguridad con el paradigma TSP (Time and Space Partitioning) que segrega recursos de computación temporales y espaciales entre particiones.

El paradigma TSP permite la ejecución simultánea de múltiples aplicaciones de carga de pago, garantizando al mismo tiempo su aislamiento, es decir, que un posible fallo no se propague y ponga en peligro la misión. AIR implementará este concepto asignando cada aplicación a una participación para su ejecución en un entorno aislado, al tiempo que permite el acceso de todas las aplicaciones a unos recursos comunes, como el procesador, la memoria y las capas de comunicación.

AIR es la solución TSP de GMV para el espacio en apoyo de la versión cualificada de RTEMS (Real-Time Executive for Multiprocessor Systems), y es fruto de una serie de actividades para la Agencia Espacial Europa destinadas a llevar el concepto TSP al ámbito del espacio.