Autonomic AI, LLC hat AssuredCode-C angekündigt, eine High-Assurance-Software-Synthese-Engine, die für sicherheitskritische militärische Plattformen, Hyperschallfahrzeuge und autonome Verteidigungshardware entwickelt wurde. Die Plattform findet auch Anwendungen im privaten Sektor. Im Gegensatz zu allgemeinen Large Language Models (LLMs) konzentriert sich AssuredCode-C auf die Erfüllung strenger militärischer Sicherheits-, Schutz- und Ausführungsanforderungen.
Der AssuredCode-C-Prozess beschränkt die Codegenerierung auf streng kontrolliertes, MISRA-konformes Bare-Metal-C und entfernt die Unterstützung für nicht unbedingt notwendige Sprachen, um eine maximale Optimierung, Speichersicherheit und Determiniertheit auf luftdichten eingebetteten Plattformen zu erreichen. Ingenieure entwickeln Offline-Vorlagen, die dann in Spezifikationen überführt und an AssuredCode-C übermittelt werden. Diese Vorlagen durchlaufen umfangreiche Tests und Simulationen, was für die Sicherheit entscheidend ist.
Die Plattform setzt neue Maßstäbe für die Edge-Ausführung in umkämpften Umgebungen. Die Synthesegeschwindigkeit pro Codeblock liegt unter 0,5 Millisekunden und ermöglicht eine dynamische Codegenerierung in Echtzeit an der Sensorkante. Der durchschnittliche Energieverbrauch beträgt etwa 2 Joule pro bestandenem Modul, was etwa 1/100 der herkömmlichen LLM-Inferenz-Pipelines entspricht. Dies ermöglicht es sicherheitskritischen Systemen, verifizierte Updates auf energiebeschränkten Batterien, Mikro-UAVs und taktischer Hardware zu generieren.
Um eine Null-Ausfallzeit der Plattform zu gewährleisten und katastrophale Ausfälle der Flugsteuerung zu eliminieren, kombiniert AssuredCode-C die ultraschnelle Generierung mit einer zertifizierten Blue-Green-Runtime-Pipeline. Das In-Flight-Daten-Streaming teilt Live-Sensor-Frames in zwei isolierte Verarbeitungspartitionen auf: Blau (autoritativ, steuert physische Aktuatoren) und Grün (Schatten, führt neu synthetisierte Module aus, deren Ausgaben überwacht, aber nicht angesteuert werden). Grüne Ausgaben werden durch automatisierte Vergleichs-Engines und Sicherheits-Gates geleitet, mit Human-in-the-Loop (HITL)-Unterbrechung für taktische und strategische Missionen. Nach bestandenen Sicherheitsprüfungen wechselt die Autorität atomar auf die grüne Partition, ohne Unterbrechung. Die ehemalige blaue Partition wird dann zum grünen Schatten und bietet sofortigen Versions-Failover bei Umgebungsanomalien.
John Harby, Gründer und CEO von Autonomic AI, erklärte: „In autonomen Umgebungen muss Sicherheit oberste Priorität haben. ‚Statistisch wahrscheinliche‘ Software ist eine kritische Schwachstelle. AssuredCode-C will nicht mit der LLM-Codegenerierung konkurrieren. AssuredCode-C ist eine hochfokussierte, militärische Engine, die darauf ausgelegt ist, exaktes, MISRA-konformes Bare-Metal-C in unter einer halben Millisekunde auszugeben und dabei nur einen Bruchteil der Energie zu verbrauchen, die herkömmliche KI benötigt."
AssuredCode-C ist für Integrationsbewertungen unter NDA, klassifizierte Standortdemonstrationen und Pilotbereitstellungen bei US-Verteidigungsunternehmen, dem Verteidigungsministerium und verbündeten Verteidigungsbehörden verfügbar. AssuredCode und AssuredCode-C sind patentrechtlich geschützt.
