En un mundo donde la seguridad y la confiabilidad del software son cada vez más cruciales, especialmente en sectores tan exigentes como el aeroespacial y de defensa, la colaboración entre empresas tecnológicas especializadas se convierte en un factor decisivo. AdaCore y Lynx Software Technologies, reconocidas por su experiencia y compromiso con las aplicaciones críticas, han reafirmado su asociación tecnológica para continuar apoyando a los desarrolladores en la creación de soluciones robustas, seguras y certificables que acompañan las mayores exigencias normativas de la industria. La asociación entre AdaCore y Lynx no es nueva; ambas compañías cuentan con décadas de experiencia en el diseño y desarrollo de software y plataformas para entornos donde el fallo puede tener consecuencias catastróficas. En concreto, AdaCore es un referente mundial en el suministro de toolchains y herramientas de desarrollo enfocadas a lenguajes de programación seguros y fiables, como Ada, SPARK, C, C++ y Rust. Estas tecnologías son pilares para el desarrollo de sistemas de misión crítica donde la seguridad, la estabilidad y el cumplimiento normativo son indivisibles.
Por su parte, Lynx Software Technologies destaca por sus plataformas de software certificables y de alto rendimiento, especialmente el sistema operativo Lynx MOSA.ic, diseñado para entornos de edge computing en sectores como aeroespacial, defensa, automoción, medicina y aplicaciones comerciales. Su enfoque en modularidad, seguridad y escalabilidad permite a los desarrolladores integrar sistemas complejos que garantizan estabilidad y resistencia frente a amenazas o fallos. Esta alianza permite a los equipos combinar las garantías de seguridad y fiabilidad de Ada con la robustez y certificabilidad del sistema operativo Lynx MOSA.ic, alcanzando el cumplimiento de estándares de seguridad extremadamente exigentes, como el DO-178C DAL A.
Este estándar aeroportuario es reconocido internacionalmente como uno de los más elevados en materia de certificación de software, dirigidos a sistemas donde la seguridad es crítica para la vida humana y la integridad de los equipos. AdaCore ofrece a través de esta colaboración una suite completa de herramientas y entornos de desarrollo para programar en Ada sobre la plataforma de Lynx MOSA.ic. La integración profunda entre el software de AdaCore y el sistema operativo Lynx asegura un rendimiento óptimo sin sacrificar la predictibilidad ni la transparencia en la integración a nivel de sistema. Esto es especialmente importante en aplicaciones en tiempo real donde la latencia y la respuesta determinista pueden marcar la diferencia.
Además, la experiencia acumulada por Lynx en arquitecturas modulares y abiertas proporciona a los desarrolladores la capacidad de construir plataformas en tiempo real que no solo cumplen con los requisitos de desempeño, sino que también garantizan los más altos estándares de seguridad y resistencia ante amenazas externas o internas. Ambas compañías aseguran soporte para arquitecturas de hardware ampliamente utilizadas en la industria, tales como Arm, PowerPC y x86, facilitando así su implantación en una vasta gama de equipos y sistemas aeronáuticos y militares. Para proyectos con un alto grado de criticidad y demanda de estabilidad a largo plazo, AdaCore facilita ramas de versión sostenidas para el compilador GNAT Pro adaptado a la plataforma MOSA.ic. Esta estrategia de evolución controlada del entorno de desarrollo focaliza sus mejoras en resolver exclusivamente problemas críticos, evitando cambios innecesarios y minimizando disrupciones en los proyectos en curso, lo que propicia un entorno estable y predecible para el desarrollo.
El soporte para todo el ciclo de vida del software está garantizado mediante un conjunto integral de herramientas que abarcan desde análisis estático y verificación formal hasta depuración, pruebas y análisis de cobertura. Estas herramientas permiten a los equipos de desarrollo asegurar no solo la funcionalidad del software, sino también su calidad, seguridad y cumplimiento con los rigurosos estándares requeridos para aplicaciones críticas. Quentin Ochem, Chief Product and Revenue Officer en AdaCore, manifiesta que la creciente complejidad y los estrictos requisitos de seguridad y calidad en el software justifican la necesidad de colaboraciones especializadas que integren tanto plataformas tecnológicas como herramientas de desarrollo. La alianza con Lynx OS MOSA.ic permite entregar una solución completa que da respuesta a una de las normas más demandantes dentro de la industria.
De forma complementaria, Michel Genard, Chief Product Officer de Lynx Software Technologies, destaca el compromiso de ambas compañías con la seguridad, fiabilidad y mantenibilidad, valores fundamentales para sus clientes en sectores aeroespaciales y de defensa. La continuidad de esta colaboración estratégica asegura que las soluciones integradas se mantendrán a la vanguardia en entornos críticos y en constante evolución. Este reforzamiento en la alianza refleja una tendencia clave dentro del sector tecnológico aeroespacial y de defensa: la integración de tecnologías verticales altamente especializadas para atender exigencias regulatorias y operativas crecientes que demandan software confiable y seguro. La combinación de AdaCore y Lynx representa una respuesta robusta y efectiva para los desarrolladores y organizaciones que deben cumplir con estos retos, asegurando que sus sistemas funcionen bajo las condiciones más estrictas y sean capaces de operar en escenarios adversos. Además, este tipo de colaboraciones demuestra la importancia de un ecosistema abierto y modular en el desarrollo de soluciones a medida para industrias críticas en un mundo cada vez más digitalizado y conectado.
La capacidad de desplegar plataformas personalizadas, certificables y fácilmente integrables es fundamental para acelerar la innovación y reducir riesgos durante el proceso de certificación y desarrollo. El fortalecimiento de esta alianza en el marco de eventos de alto perfil como el Army Aviation Mission Solutions Summit (QuadA) en Nashville, Tennessee, donde ambas compañías exhiben sus tecnologías, contribuye a elevar el perfil de sus soluciones dentro de la comunidad aeroespacial y de defensa, facilitando así la adopción de tecnologías confiables y avanzadas en proyectos que requieren máxima fiabilidad. En conclusión, la reafirmación de la alianza entre AdaCore y Lynx Software Technologies consolida una propuesta de valor para la industria aeroespacial y de defensa que pone énfasis en la seguridad y calidad del software en un contexto donde la protección de vidas y la integridad de los sistemas es indispensable. Esta colaboración está alineada con las demandas actuales y futuras del mercado, garantizando que los desarrolladores cuenten con herramientas y plataformas de primer nivel para afrontar los desafíos emergentes de la larga lista de certificaciones y estándares que rigen los sistemas críticos en el mundo moderno.
