PASE: Neuro-symbolisches System verkürzt Cloud-Fehlerwiederherstellung um mehr als 40 Prozent

Kann ein LLM die Fehlerwiederherstellung in Cloud-Infrastrukturen sicher steuern?

Die autonome Fehlerwiederherstellung in Cloud-Scale-Infrastruktursystemen ist heute eines der ambitioniertesten Ziele des SRE-Engineerings. Traditionelle Ansätze stützen sich auf vorab definierte Runbooks — Skripte und Prozeduren, die bekannte Fehler abdecken, bei neuen, unbekannten Szenarien aber versagen. LLMs bieten Flexibilität und Generalisierungsfähigkeit, bringen aber auch Risiken mit sich: Sie können Wiederherstellungspläne generieren, die logisch inkorrekt sind oder selbst weitere Probleme verursachen würden.

Das Forscherteam aus Junyan Tan, Haoran Lin, Siyuan Guo, Yichen Fang, Xinyue Luo, Tianyu Shen und Zeyu Qiao bietet in der Arbeit „Safe and Adaptive Cloud Healing: Verifying LLM-Generated Recovery Plans with a Neural-Symbolic World Model” (arXiv:2607.01595) eine Lösung für diese Spannung: PASE, einen Planning-Aware Semantic Self-Healing Engine, der neuronale Flexibilität mit symbolischer Sicherheit kombiniert.

Architektur: Drei Komponenten in einer Schleife

PASE stützt sich nicht auf eine einzige Technologie, sondern auf ein integriertes System aus drei Komponenten, die in einer kontinuierlichen Schleife Reason-Plan-Verify-Adapt arbeiten:

Die LLM Plan Synthesis Engine empfängt die Fehlerbeschreibung und generiert einen strukturierten Wiederherstellungsplan aus semantischen Primitiven — elementaren Aktionen, die das System ausführen kann. Statt Freitext ist die Ausgabe ein formalisierter Plan, der für automatische Prüfung geeignet ist.

Das Neural-Symbolic World Model übernimmt den generierten Plan und simuliert dessen Ausführung innerhalb eines virtuellen Systemmodells. Jeder Schritt des Plans wird auf Systemzustandskonsistenz geprüft — ein Plan, der zu einem unzulässigen oder undurchführbaren Zustand führen würde, wird verworfen, noch bevor er jemals auf die Produktionsinfrastruktur angewendet wird.

Der Meta-Prompt Optimizer wird durch Deep Reinforcement Learning trainiert und lernt, die Anweisungen an den LLM dynamisch anzupassen. Statt eines für alle Situationen geltenden statischen Prompts wählt der Optimierer eine auf den konkreten Fehlertyp und den aktuellen Systemzustand zugeschnittene Anweisung — und verbessert damit iterativ die Qualität der generierten Pläne.

Ergebnisse: Mehr als 40 Prozent schnellere Wiederherstellung

Die Evaluierung wurde auf Datensätzen durchgeführt, die Fehlerinjektion in Cloud-Scale-Systemen simulieren, einschließlich bisher nicht gesehener Fehlertypen. Wesentliche Ergebnisse:

• Reduktion der mittleren Wiederherstellungszeit (MTTR) um mehr als 40 Prozent gegenüber bisherigen Bestansätzen
• Verbesserte Fehlererkennung bei Szenarien, die im Training nicht vorkamen — Demonstration der Generalisierungsfähigkeit
• Überlegene Leistung auf realen Datensätzen für Cloud-Fehlerinjektion

Die Zahl von >40% MTTR-Reduktion ist besonders bedeutsam, da moderne Cloud-Systeme bereits hochoptimiert sind; jede weitere Reduktion erfordert entweder mehr Ingenieure oder intelligentere Werkzeuge.

Warum symbolische Verifikation entscheidend ist

Die zentrale Innovation von PASE ist nicht der LLM selbst — es ist die Kombination des LLMs mit einem World Model, das die Anwendung unsicherer Pläne verhindert. Dies ist besonders wichtig für Cloud-Healing, da eine falsche Wiederherstellungsaktion schlimmer sein kann als der Fehler selbst: Das Zurücksetzen des falschen Dienstes kann Kaskadenprobleme auslösen, und eine fehlerhafte Rekonfiguration kann zu Datenverlust führen.

Symbolische Validierung durch Simulation bedeutet, dass nur durchführbare und konsistente Pläne zur Ausführung weitergeleitet werden. Das System setzt nicht darauf, dass der LLM immer recht hat — es verlässt sich auf einen Verifikator, der ihm nicht erlaubt, auf eine gefährliche Weise zu irren.

Autonomes SRE ohne Mensch in der Schleife

Die praktische Vision der Arbeit ist klar: autonomes SRE-artiges Selbst-Healing, bei dem kein Mensch für jeden Vorfall notwendig ist. In einem Szenario, in dem Cloud-Systeme wöchentlich Tausende potenzieller Fehler verarbeiten, ist eine Zeitersparnis von 40 Prozent nicht nur eine Metrik — sie bedeutet, dass Ingenieure ihre Aufmerksamkeit komplexeren Problemen widmen können statt routinemäßigen Interventionen.

PASE ist dabei nicht rein reaktiv. Der Meta-Prompt Optimizer verbessert sich mit der Zeit durch Erfahrung, was bedeutet, dass das System besser wird, je mehr Fehler es verarbeitet — eine klassische Eigenschaft RL-basierter Ansätze, die es von statischen Runbook-Automatisierungen unterscheidet.

Die Arbeit, die 13 Seiten mit detaillierter Architektur und experimenteller Evaluierung umfasst, positioniert neuro-symbolische Programmsynthese als neues Fundament für autonomes Cloud-Reliability-Management — eine Kombination, die laut Autoren die Grenzen sowohl reiner LLM- als auch reiner symbolischer Ansätze überwindet.