SoftwareThatFlies

Real-time constraints, redundancy, verification, and the engineering culture around software that cannot be patched after launch. Assumes you can already program.

The chapter and lesson structure below is real and final. Lesson content is still being written, so nothing here opens yet — and there is no sign-in, no progress and no completion tracking, because none of that is built.

• Comfortable programming in any language

1. 01

   The constraints

   Determinism, memory, timing and why flight computers are slow.

   1. ReadReal-time means on timeDeadlines as correctness conditions, not performance goals.10m
   2. ReadWhy nothing is allocated in flightStatic allocation, bounded loops, and the standards that require them.8m
2. 02

   Proving it works

   Requirements, traceability and hardware-in-the-loop testing.

   1. ReadEvery requirement, one testHow a safety case is actually assembled.9m
   2. ExploreHardware in the loopWhat a test rig looks like and what it can and cannot catch.11m