(Дисклеймер — псто не про авиацию)

Вот уже за окном засилие облаков, кубернетесов и даже всяких чатов ГПТ.

А тем временем даже в Боинге не умеют в простейший конечный автомат.
В результате чуть 787 прямо апскалу не стукнули при заходе на посадку:

The aircraft was cleared for the runway 25R ILS approach. Shortly after passing waypoint RIVER, the aircraft kept diverging to approximately 1NM north from the approach track and descending to a lowest altitude of 3,700 ft AMSL, where the horizontal clearance between the aircraft and a spot height of 3,277 ft was 570 m.

Причина — детский баг в реализации конечного автомата. И дело даже не в том, что он должен быть быть найден на этапе юнит-тестирования, а в том, что подобные "баги" вообще не должны в принципе возникать в коде:

However, depending on the geometry and groundspeed of the approach, CLC may activate for such a short time that the three FCMs fail to synchronize the engaged autopilot mode and fail to transition to the LOC capture mode. This may result in the aircraft turning to a LOC intercept angle of approximately 20 degrees and flying through the LOC on this track, rather than properly capturing the LOC.
“LOC” will remain on the FMA despite the failed capture and, in some circumstances, the aircraft may begin descent down the glideslope while 20 degrees off of the LOC course.

Короче, КА может "проскочить" одно из состояний насколько быстро, что "остальной" КА его "не заметит"

Почти уверен, что "конечные автоматы" были реализованы через "очередь сообщений/состояний" или обмен сообщениями/контроль состояний осушествлялся через банальный poll.