Determinismo absoluto y seguridad certificable para sistemas de misión crítica
Los sistemas operativos de tiempo real (RTOS) constituyen el cimiento lógico sobre el cual se ejecutan las aplicaciones más exigentes de control de vuelo, guiado de armamento, gestión de combate y automatización industrial. En estos entornos, la corrección de un sistema no depende únicamente del resultado lógico de un cálculo, sino del instante exacto y predecible en el que dicho resultado se produce. Lynx Software Technologies es un referente mundial en el desarrollo de sistemas operativos de tiempo real deterministas, seguros y altamente confiables, diseñados desde cero para superar las auditorías de certificación normativa y ciberseguridad más rigurosas del planeta.
A través de su emblemático sistema operativo LynxOS y su variante específica para aviónica de seguridad crítica LynxOS-178, Lynx Software Technologies ofrece a los desarrolladores un entorno de ejecución con respuesta determinista de nivel de microsegundos, combinado con la compatibilidad nativa de interfaces estándar abiertas como POSIX y ARINC 653.
Capacidades tecnológicas y arquitectura del sistema operativo
- Determinismo duro (Hard Real-Time) garantizado: Planificador de tareas prioritario y expulsivo (preemptive) con tiempos de cambio de contexto y respuesta a interrupciones de hardware estrictamente acotados y predecibles, independientemente de la carga global del procesador o del número de hilos activos.
- Particionamiento espacial y temporal estricto (ARINC 653): Capacidad para ejecutar múltiples aplicaciones con diferentes niveles de criticidad (por ejemplo, DAL A junto con DAL C o D) en un mismo procesador multinúcleo, garantizando mediante gestión de memoria por hardware (MMU) y ventanas temporales fijas que ninguna partición pueda interferir ni agotar los recursos de otra.
- Compatibilidad nativa con estándares abiertos (POSIX y FACE): Cumplimiento integral de las especificaciones POSIX y alineación con el estándar técnico FACE (Future Airborne Capability Environment), lo que permite portar código existente en Linux o UNIX hacia un entorno de tiempo real certificable con un esfuerzo mínimo de reingeniería.
- Artefactos de certificación listos para auditoría: Disponibilidad de paquetes completos de datos de certificación reutilizables (RSC – Reusable Software Components) para normativas aeronáuticas DO-178C hasta el nivel más alto de seguridad (DAL A), reduciendo drásticamente los costes y plazos de aprobación ante autoridades como EASA o FAA.
- Soporte multiprocesador heterogéneo y simétrico: Optimización profunda para arquitecturas modernas de procesadores multinúcleo PowerPC, Arm e Intel x86, incluyendo control granular de caché y buses internos para evitar contenciones entre núcleos.
Aplicaciones en Defensa, Aeroespacial, Naval, Espacio e Industria Crítica
- Aviónica de Control de Vuelo y Cabina (Fly-by-Wire y Glass Cockpit): Ejecución de leyes de control primario de vuelo, sistemas de piloto automático, gestión de motores (FADEC), pantallas multifunción de cabina y computadores de gestión de vuelo (FMC) en aeronaves comerciales, cazas de última generación y helicópteros.
- Sistemas de Defensa Aérea, Misiles y Radares: Procesamiento en tiempo real del lazo de guiado y navegación en misiles tácticos, control de antenas de barrido electrónico activo (AESA) y sistemas de defensa antimisil terrestres y navales.
- Sistemas Aéreos y Terrestres No Tripulados (UAS / UGV): Plataformas autónomas de combate y vigilancia que requieren certificar su aeronavegabilidad para operar en espacio aéreo compartido civil y militar.
- Sector Espacial e Industria Crítica: Ordenadores de a bordo en vehículos de lanzamiento espacial, estaciones orbitales, brazos robóticos espaciales, sistemas de protección de reactores nucleares, control de tráfico aéreo y enclavamientos ferroviarios de alta seguridad (SIL 4).
Con las soluciones RTOS de Lynx Software Technologies, los integradores de sistemas logran conjugar la máxima seguridad funcional, inmunidad frente a ciberataques y portabilidad de software en una única plataforma probada en millones de horas de operación real.
