Back to overview →
Module 02 / 04
Reference software: C++ core → ROS 2.
Plant, health, capability, decision, stability and reconfiguration logic remain independent of ROS 2.
Reference software: C++ core → ROS 2.Open section
Stage 1 · active
Reference software: C++ core → ROS 2.
CORE
Domain-independent C++
Plant, health, capability, decision, stability and reconfiguration logic remain independent of ROS 2.
RUNTIME
ROS 2 integration
Typed messages and composable nodes expose the verified core without changing its numerical contract.
VERIFY
Golden-model equivalence
Unit equations, fault injection, configuration gates, stability checks and timing are compared with the C++ reference.
TARGET
Deterministic service cycle
Health, decision and stability paths are measured separately; timing claims remain platform-specific until HIL validation.