Zur Übersicht →
Modul 04 / 04
Was muss vor der nächsten Stufe nachgewiesen sein?
Die Implementierung muss innerhalb definierter Fehlergrenzen zum mathematischen Golden Model bleiben.
Verifikations-Gates.Abschnitt öffnen
Evidenz-Gate
Was muss vor der nächsten Stufe nachgewiesen sein?
01
Numerische Äquivalenz
Die Implementierung muss innerhalb definierter Fehlergrenzen zum mathematischen Golden Model bleiben.
02
Fehlerreaktion
Bekannte Degradationsklassen müssen erwartete Zustandsübergänge und Fallback-Verhalten erzeugen.
03
Timing
Entscheidung, Validierung, Umschalten und Rollback werden getrennt vermessen.
04
Physische Validierung
Aussagen bleiben begrenzt, bis HIL- und beschädigte-Strecke-Experimente das erwartete Verhalten reproduzieren.
Skalierbarkeit
Rechenstruktur pro Schritt.
| Komponente | Zeit | Speicher |
|---|---|---|
| Zustandsschätzung | \(\mathcal O(n^3)\) | \(\mathcal O(n^2)\) |
| Indikatorberechnung | \(\mathcal O(r)\) | \(\mathcal O(r)\) |
| Regimeklassifikation | \(\mathcal O(1)\) | \(\mathcal O(1)\) |
| Regelberechnung | \(\mathcal O(nm)\) | \(\mathcal O(nm)\) |
| Degradationsupdate | \(\mathcal O(r)\) | \(\mathcal O(r)\) |
| Gesamt | \(\mathcal O(n^3+r)\) | \(\mathcal O(n^2+r)\) |
Evidenzgrenze
Was noch nicht nachgewiesen ist.
StreckentreueDie berichtete Vergleichsstudie verwendet für Parameterstudien eine vereinfachte skalare Strecke.
Abdeckung des FehlermodellsDie Degradationsgesetze setzen bekannte Fehlermechanismen und parametrisierte Verläufe voraus.
Physische ValidierungHardware-in-the-Loop-/repräsentative Streckenvalidierung bleibt ein erforderlicher nächster Schritt.
Offene Zusammenarbeit
Forschung in testbare Technologie überführen.
Beiträge zur C++-/ROS-2-Referenzimplementierung, Testinfrastruktur und zum explorativen RISC-V-/SoC-Engineering sind willkommen. Diese Arbeit dient dem Technologieaufbau und ist kein kommerzielles Angebot.