Autonomic AI, LLC ha anunciado AssuredCode-C, un motor de síntesis de software de alta garantía diseñado para plataformas militares de misión crítica, vehículos hipersónicos y hardware de defensa autónomo. La plataforma también tiene aplicaciones en el sector privado. A diferencia de los Modelos de Lenguaje Grande (LLMs) de propósito general, AssuredCode-C se centra en cumplir con los estrictos requisitos de seguridad, protección y ejecución de grado militar.
El proceso de AssuredCode-C restringe la generación de código a C de metal desnudo estrictamente gobernado y compatible con MISRA, eliminando el soporte para lenguajes no esenciales para lograr una optimización máxima, seguridad de memoria y determinismo en plataformas embebidas aisladas. Los ingenieros desarrollan plantillas fuera de línea, que luego se convierten en especificaciones y se envían a AssuredCode-C. Estas plantillas se someten a pruebas y simulaciones exhaustivas, lo cual es crucial para la seguridad.
La plataforma establece nuevos puntos de referencia para la ejecución en el borde en entornos disputados. La velocidad de síntesis por bloque de código es inferior a 0,5 milisegundos, lo que permite la generación dinámica de código en tiempo real en el borde del sensor. El consumo medio de energía es de aproximadamente 2 julios por módulo que pasa, aproximadamente 1/100 de los pipelines de inferencia de LLM tradicionales. Esto permite que los sistemas de misión crítica generen actualizaciones verificadas en baterías con limitaciones de energía, micro-UAVs y hardware táctico.
Para garantizar cero tiempo de inactividad de la plataforma y eliminar fallos catastróficos del controlador de vuelo, AssuredCode-C combina la generación ultrarrápida con un pipeline de ejecución Blue-Green certificado. La transmisión de datos en vuelo divide los fotogramas de sensores en vivo en dos particiones de procesamiento aisladas: Azul (autoritativa, que impulsa los actuadores físicos) y Verde (sombra, que ejecuta módulos recién sintetizados con salidas monitoreadas pero no actuadas). Las salidas verdes se enrutan a través de motores de comparación automáticos y puertas de seguridad, con interposición de humano en el bucle (HITL) para misiones tácticas y estratégicas. Al pasar las verificaciones de seguridad, la autoridad se transfiere atómicamente a la partición Verde sin interrupción. La antigua partición Azul se convierte entonces en la sombra Verde, proporcionando conmutación por error instantánea de versiones en caso de anomalías ambientales.
John Harby, fundador y CEO de Autonomic AI, declaró: "En entornos autónomos, la seguridad debe ser la máxima prioridad. El software 'estadísticamente probable' es una vulnerabilidad crítica. AssuredCode-C no busca competir con la generación de código de LLM. AssuredCode-C es un motor de precisión, de grado militar, diseñado para producir C de metal desnudo exacto y compatible con MISRA en menos de medio milisegundo, consumiendo una fracción de la energía requerida por la IA convencional."
AssuredCode-C está disponible para evaluación de integración bajo NDA, demostraciones clasificadas en sitio y despliegue piloto con contratistas de defensa de EE. UU., el Departamento de Defensa y agencias de defensa aliadas. AssuredCode y AssuredCode-C están pendientes de patente.
