Autonomic AI presenta AssuredCode-C para sistemas autónomos de misión crítica

Autonomic AI, LLC ha anunciado AssuredCode-C, un motor especializado de síntesis de software de alta garantía desarrollado para plataformas militares de misión crítica, vehículos hipersónicos y hardware de defensa autónomo. Esto sigue al lanzamiento anterior de AssuredCode y se dirige a la creciente necesidad de código determinista y seguro en sistemas autónomos.

AssuredCode-C evita deliberadamente competir con los modelos de lenguaje de propósito general (LLM) para la generación de código. En cambio, se centra en cumplir con los estrictos requisitos de seguridad, protección y ejecución de grado militar. La plataforma restringe la generación a C desnudo compatible con MISRA, garantizando seguridad de memoria y determinismo en sistemas embebidos aislados. Los ingenieros desarrollan y prueban plantillas fuera de línea que, al ser pobladas, se convierten en especificaciones para la generación de código. Estas plantillas se prueban y simulan exhaustivamente para garantizar la seguridad.

Los puntos de referencia de rendimiento de AssuredCode-C son notables: la velocidad de síntesis por bloque de código es inferior a 0,5 milisegundos, lo que permite la generación de código en tiempo real en el borde del sensor. El consumo de energía es en promedio de aproximadamente 2 julios por módulo que pasa, aproximadamente 1/100 de las tuberías tradicionales de inferencia de LLM. Esta eficiencia es crucial para dispositivos con limitaciones de energía como micro-UAV y hardware táctico, permitiendo actualizaciones verificadas en el campo.

Una característica clave es la arquitectura de gemelo digital y despliegue Blue-Green, que garantiza cero tiempo de inactividad y previene fallas catastróficas del controlador de vuelo. Los marcos de sensores en vivo se dividen en dos particiones aisladas: Azul (autoritativa, que acciona los actuadores) y Verde (sombra, que ejecuta módulos recién sintetizados con salidas monitoreadas pero no accionadas). Las salidas verdes se someten a comparación automatizada y puertas de seguridad, con verificación humano en el circuito (HITL) para misiones tácticas. Una vez que las comprobaciones pasan, la autoridad cambia atómicamente a Verde, y el antiguo Azul se convierte en la nueva sombra para una conmutación instantánea.

John Harby, fundador y CEO de Autonomic AI, enfatizó la importancia de la seguridad en entornos autónomos, afirmando que el software "estadísticamente probable" es una vulnerabilidad crítica. AssuredCode-C está diseñado para generar código C exacto y compatible con MISRA en menos de medio milisegundo, utilizando una fracción de la energía de la IA convencional. Está disponible para evaluación de integración bajo NDA y despliegue piloto con agencias de defensa de EE. UU. y aliados.

Este anuncio tiene implicaciones significativas para la industria de defensa y sistemas autónomos. Al proporcionar generación de código de latencia ultra baja con alta garantía, AssuredCode-C podría permitir la adaptación en tiempo real en escenarios de misión crítica, mejorando la seguridad y la fiabilidad. La eficiencia energética también abre posibilidades para una mayor autonomía en sistemas alimentados por batería. A medida que los sistemas autónomos se vuelven más prevalentes, dicha generación de código determinista puede convertirse en una práctica estándar.

Para más información, visite [Autonomic AI](https://www.autonomicai.com) (enlace de marcador de posición) o contacte a través de los canales proporcionados.