LYNX

Sistemas operativos en tiempo real (RTOS), hipervisores de seguridad crítica y software certifiable DO-178C para aviónica, defensa y edge computing

Lynx Software Technologies es un referente internacional y pionero en el desarrollo de sistemas operativos en tiempo real (RTOS), hipervisores basados en kernel de separación (separation kernel) y plataformas de software modular abierto para aplicaciones de alta fiabilidad y misión crítica en los sectores aeroespacial, defensa, transporte y seguridad.

Sus soluciones constituyen la infraestructura de software fundamental en los programas más avanzados y exigentes del mundo: desde sistemas de aviónica de combate (como el F-35 Lightning II) y aeronaves de transporte militar, hasta helicópteros, vehículos no tripulados (UAV), sistemas de mando y control táctico y satélites espaciales. La tecnología de Lynx garantiza el determinismo temporal estricto, el aislamiento por hardware de aplicaciones y la ejecución simultánea y segura de funciones con niveles de criticidad mixta (mixed-criticality) en un mismo procesador multinúcleo (multicore).

Alineada plenamente con la estrategia de arquitectura modular abierta (MOSA) y el estándar técnico FACE™ (Future Airborne Capability Environment), Lynx proporciona plataformas que eliminan la dependencia de código propietario y reducen radicalmente los costes y plazos de certificación aeronáutica. Su catálogo integra desde su consolidado RTOS LynxOS-178® —el primer y único del mercado con reconocimiento de Componente Software Reutilizable (RSC) por la FAA— hasta el hipervisor de tipo-0 LynxSecure® y la suite MOSA.ic™, optimizando la relación SWaP al consolidar cargas de trabajo críticas e inteligencia artificial (IA) determinista en el edge.

SOLICITA INFORMACIÓN

SISTEMAS OPERATIVOS EN TIEMPO REAL, VIRTUALIZACIÓN SEGURA Y PLATAFORMAS MOSA
La cartera tecnológica de Lynx Software Technologies está diseñada para simplificar el desarrollo, acelerar la certificación y garantizar la ciberresiliencia en sistemas embebidos de misión crítica:

• LynxOS-178® (RTOS Certificable DO-178C DAL A): Sistema operativo en tiempo real determinista con interfaces nativas POSIX® y compatibilidad ARINC 653, diseñado para cumplir los requisitos de seguridad más exigentes (Nivel A) de la aviación militar y civil con paquetes de artefactos de certificación preaprobados (RSC de la FAA).

• LynxSecure® (Hipervisor de Kernel de Separación): Tecnología de virtualización por hardware de tipo-0 (bare-metal), sin código embebido en el espacio del kernel del hipervisor, que proporciona aislamiento estricto y no eludible entre particiones de seguridad (MILS), permitiendo ejecutar sistemas operativos invitados (Linux, RTOS o código bare-metal) sobre procesadores x86, Arm® y PowerPC®.

• LYNX MOSA.ic™ y MOSA.ic.AI: Marco de desarrollo de software para arquitecturas modulares abiertas que permite combinar de forma segura aplicaciones de criticidad mixta e inferencia de IA determinista acelerada por GPU/CPU, reduciendo drásticamente la complejidad y el coste de recertificación ante actualizaciones de componentes.

• LynxElement® (Unikernel Seguro de Cero Confianza): El primer unikernel del mundo basado en estándares POSIX para entornos de misión crítica y arquitecturas Zero Trust, que reduce la superficie de ataque a su mínima expresión eliminando servicios innecesarios y optimizando el tiempo de arranque y consumo de memoria.

• Suite de Gráficos de Seguridad Crítica y Autonomía (Tecnología CoreAVI): Controladores y bibliotecas gráficas certificables (Vulkan® SC, OpenGL® SC) diseñados para generación de instrumentación de cabina (HMI), fusión de vídeo de sensores y aceleración de cómputo GPU seguro en misiones autónomas.

CERTIFICACIONES DE SEGURIDAD FUNCIONAL, CIBERRESILIENCIA Y ESTÁNDARES ABIERTOS
Las tecnologías de Lynx se conciben desde sus fundamentos matemáticos y de ingeniería para cumplir los estándares de seguridad y ciberdefensa más restrictivos a nivel internacional:

• DO-178C y ED-12C Nivel A (DAL A): Máxima cualificación para software de aviónica donde un fallo podría resultar catastrófico, con trazabilidad completa de código y cobertura estructural de condiciones y decisiones modificadas (MC/DC).

• Conformidad Certificada FACE™ (v3.1): Alineación estricta con el estándar técnico de la iniciativa Future Airborne Capability Environment, garantizando la portabilidad, interoperabilidad y reutilización masiva de software entre plataformas militares aliadas.

• Arquitectura MILS y Principios Common Criteria (EAL 7): Separación de dominios de seguridad multinivel (Multiple Independent Levels of Security) que previene canales encubiertos, escalado de privilegios y propagación de ciberamenazas entre sistemas clasificados y no clasificados.

• Alineación con SOSA™ y Estándares Abiertos MOSA: Interoperabilidad nativa con las directrices de diseño de sistemas abiertos para sensores de defensa, facilitando la integración con módulos COTS de terceros.

• ISO 26262 (ASIL D) e IEC 61508 (SIL 3): Certificaciones funcionales transversales que habilitan el despliegue de sus tecnologías en automoción táctica, transporte ferroviario e infraestructuras críticas industriales.

Además, Lynx Software Technologies garantiza el acompañamiento integral mediante paquetes de evidencias de certificación listas para usar (turnkey certification evidence), servicios de ingeniería de sistemas embebidos y planes de soporte a largo plazo durante todo el ciclo de vida útil del programa de defensa.