A Autonomic AI, LLC anunciou o AssuredCode-C, um mecanismo de síntese de software de alta garantia projetado para plataformas militares de missão crítica, veículos hipersônicos e hardware de defesa autônomo. A plataforma também tem aplicações no setor privado. Ao contrário dos Modelos de Linguagem Grande (LLMs) de propósito geral, o AssuredCode-C concentra-se em atender aos rigorosos requisitos de segurança, proteção e execução de grau militar.
O processo AssuredCode-C restringe a geração de código a C bare-metal estritamente governado e compatível com MISRA, removendo o suporte para linguagens não essenciais para alcançar otimização máxima, segurança de memória e determinismo em plataformas embarcadas isoladas (air-gapped). Os engenheiros desenvolvem modelos offline, que são então preenchidos com especificações e submetidos ao AssuredCode-C. Esses modelos passam por testes e simulações exaustivos, o que é crucial para a segurança.
A plataforma estabelece novos padrões para execução de borda em ambientes contestados. A velocidade de síntese por bloco de código é inferior a 0,5 milissegundos, permitindo geração de código dinâmica e em tempo real na borda do sensor. O consumo médio de energia é de cerca de 2 Joules por módulo aprovado, aproximadamente 1/100 dos pipelines de inferência tradicionais de LLM. Isso permite que sistemas de missão crítica gerem atualizações verificadas em baterias com restrição de energia, micro-VANTs e hardware tático.
Para garantir zero tempo de inatividade da plataforma e eliminar falhas catastróficas do controlador de voo, o AssuredCode-C combina geração ultrarrápida com um pipeline de runtime Blue-Green certificado. O streaming de dados em voo divide quadros de sensores ao vivo em duas partições de processamento isoladas: Blue (autoritativa, acionando atuadores físicos) e Green (sombra, executando módulos recém-sintetizados com saídas monitoradas, mas não acionadas). As saídas Green são roteadas através de mecanismos de comparação automatizados e portões de segurança, com interjeição Humano-no-Loop (HITL) para missões táticas e estratégicas. Após passar nas verificações de segurança, a autoridade transfere atomicamente para a partição Green com zero interrupção. A antiga partição Blue torna-se então a sombra Green, fornecendo failover instantâneo de versão em caso de anomalias ambientais.
John Harby, Fundador e CEO da Autonomic AI, declarou: "Em ambientes autônomos, a segurança deve ser a principal prioridade. Software 'estatisticamente provável' é uma vulnerabilidade crítica. O AssuredCode-C não procura competir com a geração de código LLM. O AssuredCode-C é um mecanismo de grau militar, focado e preciso, projetado para produzir C bare-metal exato e compatível com MISRA em menos de meio milissegundo, consumindo uma fração da energia necessária pela IA convencional."
O AssuredCode-C está disponível para avaliação de integração sob NDA, demonstrações em locais classificados e implantação piloto com Empresas de Defesa dos EUA, o Departamento de Defesa e agências de defesa aliadas. AssuredCode e AssuredCode-C são patentes pendentes.
