Autonomic AI, LLC a annoncé AssuredCode-C, un moteur de synthèse logicielle à haute assurance conçu pour les plateformes militaires critiques, les véhicules hypersoniques et le matériel de défense autonome. La plateforme a également des applications dans le secteur privé. Contrairement aux grands modèles de langage (LLM) à usage général, AssuredCode-C se concentre sur la satisfaction des exigences strictes de sécurité, de sûreté et d'exécution de qualité militaire.
Le processus AssuredCode-C limite la génération de code à du C bare-metal strictement gouverné et conforme à MISRA, supprimant la prise en charge des langages non essentiels pour obtenir une optimisation maximale, une sécurité mémoire et un déterminisme sur les plateformes embarquées isolées. Les ingénieurs développent des modèles hors ligne, qui sont ensuite transformés en spécifications et soumis à AssuredCode-C. Ces modèles subissent des tests et des simulations exhaustifs, ce qui est crucial pour la sécurité.
La plateforme établit de nouvelles références pour l'exécution en périphérie dans des environnements contestés. La vitesse de synthèse par bloc de code est inférieure à 0,5 milliseconde, permettant une génération de code dynamique en temps réel à la périphérie des capteurs. La consommation d'énergie moyenne est d'environ 2 joules par module réussi, soit environ 1/100e des pipelines d'inférence LLM traditionnels. Cela permet aux systèmes critiques de générer des mises à jour vérifiées sur des batteries à capacité limitée, des micro-drones et du matériel tactique.
Pour garantir zéro temps d'arrêt de la plateforme et éliminer les défaillances catastrophiques du contrôleur de vol, AssuredCode-C associe une génération ultra-rapide à un pipeline d'exécution Blue-Green certifié. Le flux de données en vol divise les trames de capteurs en direct entre deux partitions de traitement isolées : Blue (autoritaire, pilotant les actionneurs physiques) et Green (fantôme, exécutant les modules nouvellement synthétisés avec des sorties surveillées mais non actionnées). Les sorties Green sont acheminées via des moteurs de comparaison automatisés et des portes de sécurité, avec une intervention humaine (Human-in-the-Loop, HITL) pour les missions tactiques et stratégiques. Une fois les contrôles de sécurité réussis, l'autorité passe atomiquement à la partition Green sans interruption. L'ancienne partition Blue devient alors le fantôme Green, fournissant un basculement de version instantané en cas d'anomalies environnementales.
John Harby, fondateur et PDG d'Autonomic AI, a déclaré : « Dans les environnements autonomes, la sécurité doit être la priorité absolue. Un logiciel "statistiquement probable" est une vulnérabilité critique. AssuredCode-C ne cherche pas à rivaliser avec la génération de code LLM. AssuredCode-C est un moteur de qualité militaire, précis et ciblé, conçu pour produire du C bare-metal exact et conforme à MISRA en moins d'une demi-milliseconde tout en consommant une fraction de l'énergie requise par l'IA conventionnelle. »
AssuredCode-C est disponible pour une évaluation d'intégration sous NDA, des démonstrations sur site classifiées et un déploiement pilote avec les principaux entrepreneurs de la défense américaine, le département de la Défense et les agences de défense alliées. AssuredCode et AssuredCode-C sont en instance de brevet.
