F' is NASA's component-driven flight-software framework — used on missions from smallsats to flagship projects. Engineers wire topologies of components with typed ports and serialized buffer contracts.
NASA F' · Flight Software
F' ships powerful component topologies, but buffer contracts and cancel-packet paths often fail silently on the bench. F' Deploy Preflight validates topology YAML locally — receipt JSON + this dashboard — before you burn an HWIT slot.
F' is NASA's component-driven flight-software framework — used on missions from smallsats to flagship projects. Engineers wire topologies of components with typed ports and serialized buffer contracts.
Issues like fprime#5347 show
cancel packets sent at full internal buffer size causing
FW_DESERIALIZE_SIZE_MISMATCH downstream — discovered on the bench, not in CI.
plan → run → doctor → report on topology YAML. Catches buffer contracts,
dangling ports, and cancel-path anti-patterns. Independent of any single PR.
—
—