Zur Übersicht →
Modul 02 / 04
Referenzsoftware: C++-Kern → ROS 2.
Strecke, Health, Leistungsfähigkeit, Entscheidung, Stabilität und Rekonfiguration bleiben unabhängig von ROS 2.
Referenzsoftware: C++-Kern → ROS 2.Abschnitt öffnen
Stufe 1 · aktiv
Referenzsoftware: C++-Kern → ROS 2.
KERN
Domänenunabhängiges C++
Strecke, Health, Leistungsfähigkeit, Entscheidung, Stabilität und Rekonfiguration bleiben unabhängig von ROS 2.
RUNTIME
ROS-2-Integration
Typisierte Nachrichten und komponierbare Nodes stellen den verifizierten Kern bereit, ohne seinen numerischen Vertrag zu ändern.
VERIFY
Golden-Model-Äquivalenz
Gleichungen, Fault Injection, Konfigurations- und Stabilitäts-Gates sowie Timing werden gegen die C++-Referenz geprüft.
ZIEL
Deterministischer Servicezyklus
Health-, Entscheidungs- und Stabilitätspfade werden getrennt gemessen; Timing-Aussagen bleiben bis zur HIL-Validierung plattformspezifisch.