TRD State Machines¶
TRD is designed as a state machine to make sure it’s reliable.
In the future TRD will be formally verified to avoid undetected bugs.
Launch state machine diagram¶
![Launch State Diagram](_images/launch_state_diagram.png)
Configuration state machine diagram¶
![Configuration State Diagram](_images/config_cycle_state_diagram.png)
TRD is designed as a state machine to make sure it’s reliable.
In the future TRD will be formally verified to avoid undetected bugs.