Lynx Software Technologies es una compañía pionera y líder mundial en el desarrollo de software de infraestructura de base para sistemas de misión crítica, destacando en el desarrollo de sistemas operativos de tiempo real (RTOS) seguros y tecnologías de virtualización basadas en hipervisores de tipo 1 para el sector aeroespacial, la defensa y las infraestructuras críticas.
Su producto estrella, LynxOS-178, es un referente mundial en la industria de la aviónica, siendo uno de los pocos sistemas operativos de tiempo real comerciales certificados conforme al estándar DO-178C DAL A (el nivel de criticidad más elevado para la seguridad aérea), garantizando un determinismo absoluto y una separación estricta de particiones temporales y espaciales en cumplimiento de las especificaciones ARINC 653 y los estándares POSIX.
En el ámbito de la ciberseguridad militar, Lynx destaca por su tecnología LynxSecure, un motor de separación de dominios de alta seguridad (separation kernel) sin componentes compartidos entre máquinas virtuales invitadas. Esta arquitectura permite la ejecución simultánea y en un mismo procesador multinúcleo de aplicaciones con diferentes niveles de clasificación de seguridad (MILS – Multiple Independent Levels of Security), neutralizando vectores de ataque y fugas de datos entre cargas de trabajo críticas y no críticas.
Con el advenimiento del combate multidominio, la computación basada en SOSA y la convergencia de la Inteligencia Artificial en aeronaves no tripuladas y vehículos de combate, Lynx proporciona el entorno software ultra-robusto que garantiza que el procesamiento informático militar nunca colapse, sea completamente ciberseguro y responda con una precisión temporal infalible.