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¶
Configuration state machine diagram¶
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.