Средства и методы разработки

Всё bad, как страшно жить. Там и там свои трудности, это на самом деле не принципиально, это технические подробности. Как авторы ПРОЕКТИРОВАТЬ систему будут, прямо вот так в терминах C++-кода? Фобос в грунт уже даже не на горизонте, а прямо перед носом для сколько-нибудь сложной системы: её формально конечно можно представить в виде потоков, где счётчик инструкций PC в каждом потоке кодирует состояние конечного автомата, но вообще-то в нормальной ситуации начать следовало бы с автоматов и закодировать их уже по какой-либо методике (событийной или в виде потоков). И представление в виде потоков теряет важное свойство -- явное выделение состояния. Раньше это была многозначная переменная однозначно соответствующая документу по которому кодировалась программа, а теперь некий диапазон строчек программы реализует одно состояние, другой диапазон строчек другое. Наблюдение за программой невозможно, она превратилась в типичный спагетти-код. И проверить соответствие такой программы её автоматной модели уже невозможно. А потом программисты навтыкают ещё костылей и оно куда-то полетит. Скорей всего в грунт.