ARM, RISC-V контроллеры

В тойоте такая штука тоже была на 100% соблюдена и лучшим образом засертифицирована. Да и Therac в своё время, я уверен, на 146% был сертифицирован на соответстием лучшим стандартам. И это не отменяло адского говнокода внутри, 11000 глобальных переменных и всего такого прочего: просто деньги которые могли уйти на оплату труда программистов ушли на стандартизацию, сертификацию и т.п., а потом наняли студентика с мамой, папой и квартиркой, за пару месяцев быстро чего-нибудь и кое-как наговнокодить.